Contemplating a complex UEFI-based Linux installation