Merge "Development Options: toggle binderized hals" am: 5f854f39a8 am: 8076dcde0c
am: ec0e1fb59f

Change-Id: I7bb618cdbe0bc925b214b9184652864ad6b5a8ba