Provide short option for UEFI firmware