Remove commented options from Vagrantfile so it's easier to understand.
Make sure ARCH variable is defined early enough in bootstrap.
Add a GCC dependency for building chipKIT in 32-bit Ubuntu.