Xen PV domain using busybox only