They are functional on hardware you build.
The source code is released.
No one disagrees there.
Buy unlocked hardware if you care about this. Most PC's can disable secure boot paths through BIOS settings unless you are in a corp environment and they lock that out.