The text 95fb0636905d, as Debian 10 (Buster) shipped it.
user-mode access to UEFI runtime services
efidev(4freebsd) on Linux now
