File to switch to 32-bit protected mode