Now, android system has 3 binder dirvers, /dev/binder and servicemanager for system to system, /dev/hwbinder and hwservicemanager for system to vendor hal, /dev/vendor and vndservicemanager for vendor to vendor. My question is which servicemanager and binder driver is used in the communication between system and vendor hal throught stable aidls?