acpi: EcGpeHandler() should return ACPI_REENABLE_GPE.

* this clears the GPE if level triggered and possibly enables the GPE.
See AcpiEvFinishGpe() and AcpiEvGpeDispatch().

headers/os/drivers/ACPI.h

@@ -151,6 +151,9 @@ typedef uint32 acpi_status;
 
 typedef struct acpi_resource acpi_resource;
 
+#define ACPI_REENABLE_GPE	0x80
+
+
 #endif	// __ACTYPES_H__
 
 

src/add-ons/kernel/bus_managers/acpi/EmbeddedController.cpp

@@ -604,7 +604,7 @@ EcGpeHandler(acpi_handle gpeDevice, uint32 gpeNumber, void* context)
 		else
 			dprintf("EcGpeHandler: queuing GPE query handler failed\n");
 	}
-	return B_INVOKE_SCHEDULER;
+	return ACPI_REENABLE_GPE;
 }