Update include/kernel.h

declare SYSTEM_ADDRESS_MAP_ENTRY