Oops I made a typo in the previous post, it should be acpi_skip_timer_override instead of acpi_no_skip_timer. Sorry.
Oops I made a typo in the previous post, it should be acpi_skip_ timer_override instead of acpi_no_skip_timer. Sorry.