[coreboot-gerrit] Change in coreboot[4.11_branch]: arch/x86/include/arch: Add SMM_TASK_STATE_SEG