Kconfig: add bravo

Change-Id: Id0c3e8d5df7d7af710081e03315eaedd727c7be9
mach-msm: add bravo board files

Change-Id: Iaca314fd3f6c455ab5d5a10af4b92f90eb497c13
mach-msm: fix typo in Makefile.boot

Change-Id: Icc8e497bdc9587d2c39062d277b47a2df265d739