L4linux: cpu and core [comprehension question]