[PATCH] HPET: handle multiple ACPI EXTENDED_IRQ resources