/* * Initialize the BIOS32 interface. */