[PATCH 1/1] x86/i8253: Disable PIT timer 0 when not in use