OS hacking: Reading CPU cache sizes with CPUID