I can confirm that the kernel in Christopher Korn's PPA works.
To me the easiest workaround currently would be to install the system using the noreplace-paravirt kernel option and then to download and install the patched kernel.
I can confirm that the kernel in Christopher Korn's PPA works.
To me the easiest workaround currently would be to install the system using the noreplace-paravirt kernel option and then to download and install the patched kernel.