/* * BIOS helpers. */