gnu: Add efibootmgr.