Manpages of efibootmgr in Debian testing