ARM: LPC32XX: Adding SD-Card support for FDI3250 board