Linux 使用 efibootmgr 管理 UEFI