--- zzzz-none-000/linux-2.6.19.2/Documentation/kernel-parameters.txt	2007-01-10 19:10:37.000000000 +0000
+++ davinci-8020-5505/linux-2.6.19.2/Documentation/kernel-parameters.txt	2007-01-11 07:38:19.000000000 +0000
@@ -164,10 +164,6 @@
 	acpi_skip_timer_override [HW,ACPI]
 			Recognize and ignore IRQ0/pin2 Interrupt Override.
 			For broken nForce2 BIOS resulting in XT-PIC timer.
-	acpi_use_timer_override [HW,ACPI}
-			Use timer override. For some broken Nvidia NF5 boards
-			that require a timer override, but don't have
-			HPET
 
 	acpi_dbg_layer=	[HW,ACPI]
 			Format: <int>