Add debian 7.2 amd64 (with VirtualBox Guest Additions 4.3.0)