x86/boot: Comment what finalize_identity_maps() does