In my setup, u-boot (about 1M) was on an SD card. Reset of the OS, including kernel, initrd, Grub, device trees etc, were on all on the HDD. This is using the UEFI images we are about to build [1] [2].
1 Like