OneFileLinux: A tiny recovery distro that fits in your EFI system partition

> Unfortunately, UEFI implementations on generic PC compatibles are the Wild West by comparison.

The funniest thing is that it seems to exist a reference implementation, but copy/paste is hard.