[PATCH 6.1 013/194] x86/entry: Do not allow external 0x80 interrupts