[PATCH] x86: add a bootparameter to reserve high linear address space