CONFIG_ARM=y
CONFIG_TARGET_HIGHBANK=y
