[PATCH v8 1/7] mseal sysmap: kernel config and header change