[PATCH v5 07/46] x86: Tidy up EFI code in interrupt_init()