[ros-diffs] [aandrejevic] 60801: [NTVDM] Fix an EOI condition in the BIOS IRQ handler.