x86: remove now unused clear_kernel_mapping