format the s3c24x0 serial.c and mini2440 rtconfig.py
Documents here http://www.rt-thread.org/dokuwiki/doku.php?id=s3c2440