Re: [PATCH v2 01/16] x86: Update the bootparam header