> > (bootloader (u-boot-configuration > > (board "vexpress_ca9x4") > > (device "/dev/sdX") > > (u-boot armhf-linux-uboot)))
Note: It should infer the correct u-boot to use on its own - at least that's the intention with the whole make-u-boot-package thing.