Damn good find! Not expensive, about double the price I paid but still very reasonable.

Oh lol, that's a considerable difference. Though I suppose the Intel CPUs on your device probably aren't 12th gen?

they have a Tux bootsplash logo in their Bios??

Who offers that :P ? Did I somehow miss that?

And the BIOS really is great, I will miss that on Coreboot I guess. But all the necessary features should be there.

coreboot FTW!