[PATCH-WIP 00/13] xen/arm: receive Xen events and initialize xenbus