drivers: ddr: Add DDR2 SDRAM controller driver for Microchip PIC32.