Libreboot supports the Dell 3050 Micro and the Lenovo T480. I was wondering, since it requires the FSP blob, could it be a backdoor? Does anyone know how it works? Compared to the T440p and 9020, those boards are 100% free BIOS, but lack newer microcode updates.