/boot/lpc32xxcdl/