robbat2@gentoo.org Robin H. Johnson Install UEFI variant as well