Index: kernel/arch/amd64/src/mm/km.c
===================================================================
--- kernel/arch/amd64/src/mm/km.c	(revision 1b478f661c486eaaf171a6561c652459502ed22f)
+++ kernel/arch/amd64/src/mm/km.c	(revision 15d0046f9b3c481dc13462cd9c94e9f757fa743d)
@@ -40,5 +40,5 @@
 {
 	config.identity_base = KM_AMD64_IDENTITY_START;
-	config.identity_size = KM_AMD64_IDENTITY_SIZE;	
+	config.identity_size = KM_AMD64_IDENTITY_SIZE;
 }