[PATCH-WIP 08/13] xen/arm: fix arm xen guest handle definitions