For anyone interested, I want to confirm that the ATMEL AT27C256R-45 One Time Programmable is compatible with the IBM 5160 64K-256K motherboard using the Mostek MK38000, though the machine does not benefit from the faster ROM as far as I can tell. The November 8th, 1982 BIOS was tested.