now build with gcc-4.7
acpuclock: force 1512 mhz for fast booting
cleanup