Earlier quoted context omitted.
They seem OK with BIOS, Intel microcode and other firmware on amd64 though.
They don't have to distribute it.
Yes, but that's not relevant in this context, which is about OpenBSD trusting binary blobs ("a provably trusted system using untrusted base hardware").