[coreboot] [coreboot - Other #492] Evaluate changes which need to be made to support Intel's X86S ISA changes