Build RTEMS using Vagrant