[X86] Heads up: i686 PTI queued for next kernel