The SMBIOS data reports 640k icache & dcache, whereas I believe this should be 64k?
(… ought to be enough for anyone )