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