https://ajo.es/2023/06/secure-boot-linux/