Linux kernel for LPC18xx/43xx