I've always been following the standard petalinux flow to configure, build, package, and boot with BOOT.BIN and image.ub. I want to keep bitstream separate so that it can be easily updated without having to repackage BOOT.BIN, and I guess a good way to go is to download the bitstream in uboot. This doesn't seem to be an officially supported approach in petalinux as I didn't find such information in ug1144. Are there any instructions on how to configure petalinux project and uboot, if it needs to be modified manually, for this purpose?