Comment 11 for bug 1265560

Upgraded kernel in 1st level guest and resolved my HTM issues.

Results running in OpenStack as nested VMs:
- powerpc (32-bit): works as long as you change hw_vif_model from virtio to spapr-vlan (ibmveth)
- ppc64 (64-bit): works good
- ppc64le: works but produces a call trace while booting. See below.

ppc64le boot call trace:
[ 1.776496] irq 18: nobody cared (try booting with the "irqpoll" option)
[ 1.776501] CPU: 0 PID: 1 Comm: swapper/0 Not tainted 3.19.0-20-generic #20~14.04.1-Ubuntu
[ 1.776501] Call Trace:
[ 1.776507] [c00000000fffbcb0] [c000000000a26030] dump_stack+0x90/0xbc (unreliable)
[ 1.776510] [c00000000fffbce0] [c00000000012a670] __report_bad_irq+0x60/0x150
[ 1.776512] [c00000000fffbd70] [c00000000012aeb0] note_interrupt+0x340/0x3b0
[ 1.776513] [c00000000fffbe10] [c000000000127124] handle_irq_event_percpu+0x124/0x2b0
[ 1.776514] [c00000000fffbed0] [c000000000127318] handle_irq_event+0x68/0xd0
[ 1.776516] [c00000000fffbf00] [c00000000012b7b4] handle_fasteoi_irq+0xe4/0x240
[ 1.776517] [c00000000fffbf30] [c000000000126288] generic_handle_irq+0x58/0x90
[ 1.776519] [c00000000fffbf60] [c000000000010f10] __do_irq+0x80/0x190
[ 1.776521] [c00000000fffbf90] [c00000000002476c] call_do_irq+0x14/0x24
[ 1.776522] [c00000002e642af0] [c0000000000110c0] do_IRQ+0xa0/0x120
[ 1.776524] [c00000002e642b50] [c0000000000099cc] restore_check_irq_replay+0x2c/0x70
[ 1.776526] --- interrupt: 501 at arch_local_irq_restore+0x74/0x90
[ 1.776526] LR = arch_local_irq_restore+0x74/0x90
[ 1.776527] [c00000002e642e40] [c00000002e630000] 0xc00000002e630000 (unreliable)
[ 1.776529] [c00000002e642e60] [c0000000000b4e8c] __do_softirq+0xfc/0x3b0
[ 1.776530] [c00000002e642f60] [c0000000000b54a8] irq_exit+0xc8/0x100
[ 1.776531] [c00000002e642f80] [c00000000001fa54] timer_interrupt+0xa4/0xe0
[ 1.776533] [c00000002e642fb0] [c0000000000099f4] restore_check_irq_replay+0x54/0x70
[ 1.776534] --- interrupt: 901 at arch_local_irq_restore+0x74/0x90
[ 1.776534] LR = arch_local_irq_restore+0x74/0x90
[ 1.776537] [c00000002e6432a0] [c0000000016027b8] logbuf_lock+0x0/0x8 (unreliable)
[ 1.776538] [c00000002e6432c0] [c000000000124a48] console_unlock+0x578/0x5c0
[ 1.776540] [c00000002e643390] [c000000000124d94] vprintk_emit+0x304/0x5c0
[ 1.776542] [c00000002e643410] [c00000000064556c] dev_vprintk_emit+0x10c/0x240
[ 1.776543] [c00000002e643530] [c0000000006456f0] dev_printk_emit+0x50/0x60
[ 1.776544] [c00000002e643570] [c00000000064577c] __dev_printk+0x7c/0xe0
[ 1.776545] [c00000002e6435f0] [c000000000645cdc] _dev_info+0x6c/0x90
[ 1.776547] [c00000002e643640] [c00000000076e0f8] usb_new_device+0x178/0x630
[ 1.776549] [c00000002e6436f0] [c000000000774c94] usb_add_hcd+0x804/0xc00
[ 1.776550] [c00000002e6437b0] [c00000000078dfcc] usb_hcd_pci_probe+0x1dc/0x5c0
[ 1.776553] [c00000002e643850] [c00000000057270c] local_pci_probe+0x6c/0x140
[ 1.776554] [c00000002e6438e0] [c000000000572938] pci_device_probe+0x158/0x1e0
[ 1.776556] [c00000002e643940] [c00000000064b3ec] driver_probe_device+0xec/0x470
[ 1.776557] [c00000002e6439d0] [c00000000064b92c] __driver_attach+0x11c/0x120
[ 1.776558] [c00000002e643a10] [c00000000064841c] bus_for_each_dev+0x9c/0x110
[ 1.776560] [c00000002e643a60] [c00000000064ab8c] driver_attach+0x3c/0x60
[ 1.776561] [c00000002e643a90] [c00000000064a568] bus_add_driver+0x208/0x320
[ 1.776562] [c00000002e643b20] [c00000000064c5ac] driver_register+0x9c/0x180
[ 1.776564] [c00000002e643b90] [c00000000057095c] __pci_register_driver+0x6c/0x90
[ 1.776566] [c00000002e643bd0] [c000000000dfca60] ohci_pci_init+0x90/0xac
[ 1.776568] [c00000002e643c30] [c00000000000b4bc] do_one_initcall+0x11c/0x270
[ 1.776570] [c00000002e643d00] [c000000000da4100] kernel_init_freeable+0x264/0x34c
[ 1.776571] [c00000002e643dc0] [c00000000000bdfc] kernel_init+0x2c/0x130
[ 1.776573] [c00000002e643e30] [c00000000000956c] ret_from_kernel_thread+0x5c/0x70
[ 1.776573] handlers:
[ 1.776575] [<c000000000772a80>] usb_hcd_irq
[ 1.776575] Disabling IRQ #18