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