LPC11C24: WFE disabled by default