Are there any bootloader specs that are standard across architectures? UEFI comes to mind, and I'm sure you could boot an x86 board via u-boot.
Know of any cool videos or anything similar that demo UEFI functionality on AA64?