Build BCM2708 watchdog driver as module for RPi