Hacker News Reader

RaspberriPiPkg can’t boot Raspbian today, since the latter is 32-bit. Can boot stock 64-bit SUSE and Ubuntu, though.

My point was, for booting Raspbian, this is not needed.