Added board_id = 0xc42

Reference http://www.raspberrypi.org/phpBB3/viewtopic.php?f=72&t=29944
Merge pull request #1 from jncronin/patch-1

Added board_id = 0xc42