The User Guide above is at revision 0.2, while the current user guide is at 0.4 on the pcDuino site. According to the change history it has been updated for the HDMI fix and chapter 5 has been rewritten for installing software to the NAND flash. You can get the latest updated manual from the pcDuino Downloads page. Here are the direct download links for the User Guide Rev. 0.4 and OS Installation.
Enjoy! Bill