hack to enable vexpress-a15 guest from Ripal