Page values for "Compiling kernels with envkernel.sh"