For instructions how to set up a securebootkey file on a USB device,
please refer to the tutorial here:

https://senderek.ie/opensource/secureboot2


Senderek Web Security, Ireland.
