[PATCH 02/10] x86: Adjust bootparam.h to be more like linux