Note that the instructions say you can have either the normal install ISO or the Install-Dev ISO in the optical drive, but this does not seem to be correct -- using the Install-Dev ISO causes an error trying to read /etc/init. You need to use the normal install ISO instead.