xemu/hw/nios2/boot.h