ef47s_defconfig: CPU OC 1728