hw/mips: Inline 'bios.h' definitions