The release notes for SEVERN II stated that the SMP kernel had problems, was a bit flakey (or words to that effect) and that a fix would be posted in a few days. So where is it? If it has been fixed that is.