Fix KITKAT build for BRAVO sensors.c

Change-Id: I62f2b7f7e21521c38938620186cc0008b96258fd