xemu/hw/cris-boot.h