[kbuild-all] Re: [PATCH 3/6] x86/idt: remove address argument to idt_invalidate()