https://www.dr-compu.com/2018/07/uefi-boot.html