[coreboot] win10: Interrupt number is minus?