Use 9600 bps for Pintos serial, to match the speed used by the loader.

[pintos-anon] / src / tests / threads / alarm-multiple.ck

# -*- perl -*-
use tests::tests;
use tests::threads::alarm;
check_alarm (7);