Re: [U-Boot] [PATCH v2 15/50] x86: Add a handoff header file