[PATCH x2: gnumach] - More IOAPIC fixes

[Damien Zammit]

Here are two more patches, one fixes a bug where a return value
was from the stack and missing the top half of the value!

The other patch refactors the EOI to simplify the asm code
in interrupt.S