R.I.P. BIOS: A UEFI primer