Real-time Linux distro boosts multiprocessor support