On Wed, Feb 28, 2018 at 03:51:55PM +0000, Marc Zyngier wrote:

What HW are you using? Your command line? Your configuration? How are
you rebooting your guest (to EFI? directly to the kernel itself?)? How
comes it didn't boot between these 4 commits? Does the failure affects
the host or the guest?

I inadvertently cut out the crash log from the original email, hope this helps:

https://launchpadlibrarian.net/358687166/submission_2018-02-26T14.58.17.996524.html#9-1-log
-- 
bye,
p.