Update the list of ARM2VC tags, we need NotifyXHCIReset but might as well list the others anyway.

Version 0.13. Tagged as 'BCMSupport-0_13'

Add CMHGAUTOHDR line to makefile so the SWI numbers get appended so they can be used from C.
Remove excess RES_OBJ, the default name suffices.

Version 0.12. Not tagged

Version 0.12. Tagged as 'BCMSupport-0_12'

Firmware versions starting from 2019-07-08 feature an additional clock ID.
See https://github.com/raspberrypi/firmware/issues/1179

Version 0.11. Tagged as 'BCMSupport-0_11'

Detail:
These will be used by future versions of the BCM2835 HAL

Version 0.10. Tagged as 'BCMSupport-0_10'

Detail:
  hdr/BCMSupport - Add ARM2VC_Tag_SetGamma, which was introduced with recent firmware versions
Admin:
  Tested on Raspberry Pi 3


Version 0.09. Tagged as 'BCMSupport-0_09'

Detail:
  hdr/BCMSupport - Add some extra mailbox property tags (mainly memory management related)
Admin:
  Tested on Raspberry Pi 3


Version 0.08. Tagged as 'BCMSupport-0_08'

Detail:
  hdr/BCMSupport - Add extra definitions for setting the virtual GPIO & FT5406 buffers
Admin:
  Tested on Raspberry Pi 3


Version 0.07. Tagged as 'BCMSupport-0_07'

Gleaned from https://github.com/6by9/rpi3-gpiovirtbuf

Version 0.06. Tagged as 'BCMSupport-0_06'

Detail:
  hdr/BCMSupport - Add property tag definition for the virtual GPIO buffer used on the Pi 3
Admin:
  Tested on Pi 3B


Version 0.05. Tagged as 'BCMSupport-0_05'

Detail:
  c/cpuclock - Adjust cpuclock_Get to make sure that a speed index of 0 is reported if the device claims to only support one speed (e.g. Pi 1). Also adjust logic so that any speed higher than the low speed counts as the high speed.
Admin:
  Tested on Pi 1B, 2B, 3B


Version 0.04. Tagged as 'BCMSupport-0_04'

Detail:
  The BCMSupport module provides the following functionality:
  * A SWI interface which allows multiple clients to send and receive messages via the ARM<->GPU mailbox
  * A higher-level SWI interface to make dealing with the mailbox property interface easier
  * A CPU clock device for controlling the ARM clock rate and measuring the SoC temperature
  The implementation is mostly in C and aims to be thread/multicore safe
Admin:
  Tested on Raspberry Pi 1B/2B/3B


Version 0.03. Tagged as 'BCMSupport-0_03'

Admin:


Version 0.02. Tagged as 'BCMSupport-0_02'