I wonder if there's any way to swing these kinds of problems into getting government funding for coreboot/libreboot.