So pardon me for being dense but ipxe is an EFI program which requires EFI compliant firmware -- none of which supports interrupt vectors nor any of the legacy BIOS vectors. So how can freedos run at all?