Reconfigure pintos for qemu simulator.