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

Change-Id: Idb3f71707b7b1b091e3a18517852fff66e01cf08