Arch manual pages

The package extra/efitools contains these man pages: