efi_set_variable(3) on Linux

The text 755764323a03, as Debian 12 (Bookworm), Debian 11 (Bullseye), Debian 10 (Buster) shipped it.

manipulate UEFI variables

efi_set_variable(3) on Linux now