He's referring to firmware binaries, not software that runs on the host
machine's processor. Browse around under:
http://www.openbsd.org/cgi-bin/cvsweb/src/sys/dev/microcode/
For example, the Atmel radio firmware's license is compatible with the
BSD license, but incompatible with the GPL because it can be
redistributed as object code only.