We now use U-Boot on the D0 CPU. With this change, we burn opensbi and uboot to the flash, and u-boot will load the kernel from a partition on the SD card.
This change updates the SD card image to have a 200Mb partition for boot that contains the kernel, DTB files, and boot scripts to start