Comment # 6 on bug 1227301 from Jürgen Groß

(In reply to Takashi Iwai from comment #5)
> The above is the log from the patched kernel.  At this time, it was called
> with nomodeset, but it shouldn't matter.  The bug happens right after
> modprobe of ucsi_acpi module.
> 
> As far as I understand, the second Oops ("BUG: unable to handle page fault
> for address: ffffc90040715100") happened at reading a byte value via
> ACPI_GET8(logical_addr_ptr) in acpi_ex_system_memory_space_handler().

This is to be expected, as establishing the mapping did fail due to a negative
return value from the hypervisor when trying to update a PTE.