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