I can confirm that the JS20 of Kawachiya-san does not boot current
Xen/PPC without the nosmp option. I got some time on the blade and
narrowed the point of failure down to somewhere in the synchronize_rcu
call that synchronize_net makes in dom0 Linux init. I will work on
it tomorrow during JST night.