[PATCH] clockevents: i386 drivers