UEFI reading list

* AdamW's UEFI boot: how does that actually work, then?
* Rod Smith's Principles of EFI Bootloaders