I heard that linux caches better than the hardware: if one has a 256k pipeline-burst cache, and runs linux (of course, under 64M of RAM), then it is faster than the same computer with a 512k pipeline-burst cache... because Linux caches faster? Does anyone know if this is true?