GCC4.6: Use debug() instead of debugX() in s3c24xx_nand.c