core (virtualbox): booting boot2docker iso