systemd-efi-boot-generator(glossar.html) - phpMan