Fixes some minor issues in the x86 boot documentation.
Signed-off-by: NKees Cook <keescook@chromium.org>
Cc: Rob Landley <rob@landley.net>
Link: http://lkml.kernel.org/r/20121026031702.GA23828@www.outflux.netSigned-off-by: NIngo Molnar <mingo@kernel.org>