powerpc/t1023rdb: change default core frequency to 1200MHz