> > The problem appears to be that Linux exposes UEFI variables in the > firmware using a pseudo-filesystem interface, and some BIOSes respond > less gracefully than others to having all of their UEFI variables > deleted. > That seems a very clear description; thanks, Dan. Is there an original to cite?