Update devtool-build.md

Fixed the path to point to the 12.04-2 current iso.