[PATCH] x86: Add acpi_user_timer_override option for Asus boards