The documentation missed to mention the need for the 'pc' and 'dde_rump' repositories for building the boot image from source.