Re: [U-Boot] [PATCH 09/32] x86: Add processor flags header from linux