Fix for last commit (code merge)

Prevent inclusion of BCM2835 driver for non-linux devices