Arch Linux: update to 2014.05.01 ISO
Debian: update 7.4.0 to 7.5.0
Ubuntu: add workaround for https://www.virtualbox.org/ticket/12879