On Wed, Apr 18, 2007 at 11:32:14PM +0200, ST wrote: > Current kernels only need "acpi_use_timer_override" as cmdline > option for successfull booting. Do we know why? //Peter