# CONFIG_BIG_LITTLE is not set