Basic description of UEFI boot for Linux users. Link to the Adam Williamson article: https://www.happyassassin.net/posts/2014/01/25/uefi-boot-how-does-that-actually-work-then/