Re: [PATCH v2 38/44] x86: Store the coreboot table address in global_data