[OpenBIOS] BIOS debug codes.