ARM: Update mach-types

This commit adds bravo/bravoc to mach-types