Interesting to note that https://en.wikipedia.org/wiki/Kernel_page-table_isolation was created on December 29th.