Add BCM2835 (as found in Raspberry Pi) interface driver