Re: [PATCH v1 37/43] x86: Store the coreboot table address in global_data