Hi,
I'm using debian 10 with tablet based on intel atom z3735f. The linux kernel 5.8.0-rc1 shows the following log:
[ 0.010578] ACPI: HPET 0x000000003CCF0000 000038 (v01 INSYDE INSYDE 00000003 ACPI 00040000)
[ 0.018763] x86/hpet: Will disable the HPET for this platform because it's not...