No subject

10ns,25ns,10ns, which is 2,4,2 (and gives 15ns,30ns,15ns at 133MHz).
Feel free to refute this, though, if you have a better reading.

+int board_nand_init(struct nand_chip *nand)
+{
+	return s3c24xx_nand_init(nand, GTA01_NAND_TACLS,
+				 GTA01_NAND_TWRPH0,
+				 GTA01_NAND_TWRPH1);

Unfortunately, I do not want to touch the bootloader right now as I do
not have access to a debug board.  Hope somebody else can play with
these numbers a bit.

/Jonas