ARM64 Prepping ARM v8.4 Features, KPTI Improvements For Linux 4.17

With the Linux 4.16 kernel release likely to happen this coming Sunday and that marking the opening of the Linux 4.17 merge window, many subsystem maintainers are preparing their "-next" trees of feature updates...