[PATCH] x86_64: Add acpi_skip_timer_override option