Kernel command line: BOOT_IMAGE=linux-2.4.2 ro root=346 ... CPU: Before vendor init, caps: 0383fbff 00000000 00000000, vendor = 0 CPU: L1 I cache: 16K, L1 D cache: 16K CPU: L2 cache: 256K Intel machine check architecture supported. ------------ Kernel command line: BOOT_IMAGE=linux-242ac6 ro root=346 ... CPU: Before vendor init, caps: 0383fbff 00000000 00000000, vendor = 0 CPU: L1 I cache: 16K, L1 D cache: 16K CPU: L2 cache: 256K CPU speed 400Mhz, Bus Speed 100MHz Intel machine check architecture supported. Intel machine check reporting enabled on CPU#0.