Adapting Minix to new-BIOS on PC/XT