Merge changes I88ee8d2f,Id15ecc7f into main

* changes:
  Let the lazy CAS HAL to override the regular one
  Unmark executable bits from CAS AIDL HAL impl