Linux kernel for NXP lpc31xx