tree c64d2553e8beaf427ee4f6a0a1f4c53afece1d53
parent 32cd95f094eaa17631a08dca214ea61b06937f6c
author Antonio Nino Diaz <antonio.ninodiaz@arm.com> 1462458236 +0100
committer Antonio Nino Diaz <antonio.ninodiaz@arm.com> 1463754570 +0100

Replace MediaTek delay timer by generic one

Use the generic delay timer instead of having a specific platform
file for configuring it.

Change-Id: If6b8f60bc04230f4b85b2bcc1b670fc65461214e