Linux kernel 3.7 with support for the NXP LPC313x processor on the GNUBLIN board