Re: [PING] EFI/PTI fix not backported to 3.16.XX?