Oh, indeed. My point was that the rest of the kernel (VFS, device drivers, etc.) was already fairly well prepared for MP when ARM multicore came into the picture.