[PATCH] x86_64 kernel mapping fix