It is a mischaracterization to say they have issues with the firmware, they clearly say they don't have the same objections to firmware running on the peripherals themselves.
The issue here is that the rPI requires driver code running inside OpenBSD that is a closed source blob.
The issue here is that the rPI requires driver code running inside OpenBSD that is a closed source blob.