This works.
now what should I edit if I want to add some kernel build parameters and kernel bootargs?
I was doing it by creating a new cfg file in sdbuild/boot/meta-pynq/recipes-kernel/linux/linux-xlnx/ and then adding that file to boot/meta-pynq/recipes-kernel/linux/linux-xlnx_%.bbappend
Bootargs I had added to sdbuild/boot/meta-pynq/recipes-bsp/device-tree/files/pynq_bootargs.dtsi
If I do a
make PYNQ_SDIST=<path to sdist.tar.gz> BOARDDIR=<path to ultra96 board directory>
will this still apply the kernel params and bootargs? Should I be putting these changes somewhere else?