Merge changes from topic "pb/tbbr-oid" into integration
authorAntonio Niño Díaz <antonio.ninodiaz@arm.com>
Fri, 12 Apr 2019 10:40:11 +0000 (10:40 +0000)
committerTrustedFirmware Code Review <review@review.trustedfirmware.org>
Fri, 12 Apr 2019 10:40:11 +0000 (10:40 +0000)
* changes:
  doc: Clarify cert_create build when USE_TBBR_DEFS=0
  plat/sgm: Remove redundant platform_oid.h


Trivial merge