Re: Contemplating a complex UEFI-based Linux installation