[PATCH 6.1 012/194] x86/entry: Convert INT 0x80 emulation to IDTENTRY