Maybe his BIOS misread 6 x 64KB instruction cache.