call bios_setup() directly, as there is not enough hlt's after 0x7fe...
Is 0x7fe a documented addr, or just random?