Incorrect DMI/SMBIOS data

The SMBIOS data reports 640k icache & dcache, whereas I believe this should be 64k?

(… ought to be enough for anyone :sweat_smile:)