x86: make i8259_64 more _32-like