Whilst this is all true and of course very impressive and ideal, until they deal with the BIOS to allow at the very least coreboot but ideally libreboot, then it's still a no go.