Basically, the CONFIG_S3C2410_IOTIMING is not selected forMACH_MINI2440. Because the s3c2410-iotiming.c is not evercompiled and enabling CONFIG_CPU_FREQ_S3C24XX_DEBUGFS optioncaused undefined reference to s3c2410_iotiming_debugfs()defined in that file. The s3c2410_iotiming_debugfs definedas NULL for this case.