[kbuild-all] Re: [RFC][PATCH 3/4] x86/entry: Remove debug IST frobbing