Added board_id = 0xc42

Reference http://www.raspberrypi.org/phpBB3/viewtopic.php?f=72&t=29944