Hello all, In some sites, the Mini2451 board is being announced as a replacement for the Mini2440, as the S3C2440 CPU is EOL'ed by Samsung. However both the S3C2416 and the S3C2450 (and I presume that the S3C2451 as well) are now listed as EOL as well. Given this, what's the estimated lifespan for the Mini2451 product? Thank you. G. Rodriguez