Comment by mtnygard

Did I miss a step in the article? The headline is about Raspberry Pi, but the example says x64 and uses UEFI. AFAIK the Pi doesn't use UEFI.