The kernel is an old one 3.1.x and the board is a S3C2416 with an external NAND flash.
I am struggled with a bug that resulted in NAND flash\'s ECC has a quite high proba