Comment 13 for bug 803488

Right, that was my thinking. And accidentally I made that change manually for so long now, that _I_ was confused on the part of having it officially done or not. Or to be clear, I added the two additional modprobe lines to /etc/init.d/xend which I would think relates to the debian/xen-utils-common.xend.init.