Re: [PATCH v6 019/102] x86: Drop unnecessary interrupt code for TPL