Re: [PATCH v5.10/v5.15/v6.1] x86/i8253: Disable PIT timer 0 when not in use