Update to r44287:
Comment out the kernel walk-through as it is out-of-date and
architecture specific.
Comment out the PAE section as it deals with ancient hardware.
Some small editorial fixes.

Update to r43817:
Add <userinput> tags.