ARM: LPC32xx: Fix reset function