format s3c24x0 serial.c and mini2440 rtconfig.py