sh: CONFIG_PMB doesn't mean the MMU is in 32bit mode