Add basic UEFI boot procedure manpageMFS10 of r273385 (r273218,r273235 in HEAD)Approved by: re (gjb)