Presently all ARM platform HALs have their own, which is bad for obvious reasons. It should be simple to add some CYGHWR definitions in the platforms and switch to a generic version in the architecture HAL.
This bug has moved to http://bugs.ecos.sourceware.org/show_bug.cgi?id=58365