And I am curious/worried (mostly the latter) about the BIOS. I suspect some proprietary binary blob, but couldn't find/search properly on that subject.