Bug 927357: set clocksource=pit correctly on Ubuntu; r=rail