[PATCH] x86/mm: Fix paging-structure cache flush on kernel table freeing