http://stackoverflow.com/questions/15354286/pintos-kernel-panic-with-v-option-bochs-on-ubuntu when i do "pintos -- run alarm-multiple" in .../build/ everything seems fine.but when i do "make check" in .../build/ all 7 tests failed with the same "Run didn't start up properly: no "pintos booting" message"pintos -v -k -T 60 --bochs -- -q run alarm-single tests/threads/alarm-single.er..