currently the ACL collision detection in uVisor does not take into account that a bitband-ACL might overlap with a peripheral-ACL for the same peripheral.
ensure to mark peripherals corresponding to bitband-ACL as used
still allow the same box to have both bitband ACL and peripheral ACL for the same peripherals