booting of Ubuntu 6.06)
used when the new BIOS fails - use wbinvd instruction in the 32-bit init code