Re: [U-Boot] [PATCH v2 01/22] x86: Enhance the microcode tool to support header files as input