Comment 23 for bug 1673564

I've been able to backport the fixes back as far as 4.7. 4.7 was when the new vgic reimplementation was merged, and the upstream patchset would need significant surgery to apply. To fix Ubuntu 16.04's GA kernel (4.4-based), we'd probably need to develop a new (hopefully simpler) solution. In the meantime, I recommend anyone using ThunderX w/ 16.04 stick with the HWE (currently 4.10-based).