Merge pull request #1550 from danielboulby-arm/db/weakdefs

Prevent two weak definitions of the same function