[ros-diffs] [navaraf] 17065: Comment out the ACPI enumeration entries for i8042prt driver. It's set as system load driver, so it's loaded anyway.