On Mon, Nov 19, 2018 at 11:57 AM Mimi Zohar <zohar@xxxxxxxxxxxxx> wrote: > > The secure boot mode may not be detected on boot for some reason (eg. > buggy firmware). This patch attempts one more time to detect the > secure boot mode. Do we have cases where this has actually been seen? I'm not sure what the circumstances are that would result in this behaviour.