Using custom boot2docker.iso with Virtualbox Guest Additions