Ubuntu 12.04.2 images are no longer available

The current available ISOs are 12.04.4, so change the `iso_src` and `iso_file` definitions to match.