[PATCH 0/5] Follow up to "Add new board: Xen guest for ARM64" series