diskboot.img Documentation problems