4a93f235c1
The release engineer keeps using the wrong /boot/cdboot when creating the ISO images. So we'll add the 4.0-RELEASE cdboot to the tree until someone bothers to fix the source so a working `cdboot' is built.