4a3cb8d124
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.