On: Microsoft just bought Nokia for $0

[ansible]

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.