Re: [PATCH 0/10] Tree fixes for PARAVIRT

* Glauber de Oliveira Costa [off-list ref] wrote:

This small series provides some more fixes towards the goal to have 
the PARAVIRT selectable for x86_64. After that, just some more small 
steps are needed.

thanks, applied.

The first fix is not even specific for PARAVIRT, and it's actually 
preventing the whole tree from booting.

on CONFIG_EFI, indeed :)

	Ingo