fixed int86 to return correctly from BIOS calls that internally change