A Vagrant box for building the Android kernel