Add int13_boot(), to allow booting from INT 13 emulated drives.