Add basic UEFI boot procedure manpage

MFC of r273218 and r273235.