/* Platform for: s3c2440 author by jiangdou you have anything,plese to QQ:344283973 time at: 2009-0801 */ note: this code for boot kernel on s32440 have logo!