[PATCH 05/38] x86: Tidy up EFI code in interrupt_init()