/* Ensure that vital registers have been initialised, even if the BIOS * is absent or just failing to do its job. */