[PATCH-WIP 12/13] xen/arm: compile and run xenbus