ACPI-BCM2E42 driver