Fix licenses
Replaced aep with notification internally This changes variable names and comments replacing aep with notification. This change should have no impact on functionality.
Replaced seL4Asynch with seL4Notification Breaking change that replaces the sel4Asynch* connectors with corresponding seL4Notification* connectors.