[coreboot] Intel SGX support