Merge "Revert "Development Options: toggle binderized hals""