MCU_REG_READ
#define MCU_REG_READ(x) (*(volatile uint32_t *)(IXP425_MCU_VBASE + (x)))
#define MCU_REG_READ(x) (*(volatile uint32_t *)(IXP425_MCU_HWBASE + (x)))