Installing Linux on a PC with UEFI firmware: A refresher