* iotdk supports fpu and mpu * iotdk supports fast irq * a fix in device tree Signed-off-by: Wayne Ren <wei.ren@synopsys.com>