osdev0/nyu-efi

Moved to codeberg: https://codeberg.org/PicoEFI/PicoEFI

MOVED

Nyu-EFI was renamed to PicoEFI and moved to Codeberg: https://codeberg.org/PicoEFI/PicoEFI