[seL4] x86: loosing edge triggered interrupts when using I/O APIC