FreeBSD port of Broadcom's VCHI driver