/*
 * 8253/8254 Programmable Interval Timer
 */