Tip about BIOS and virtualization