tree cc01a644b84f7e07215a4920c3053ce4ddfb3f50
parent 02a09af766825d98815750ec0482a6687b838906
author Antonio Nino Diaz <antonio.ninodiaz@arm.com> 1462458302 +0100
committer Antonio Nino Diaz <antonio.ninodiaz@arm.com> 1463754570 +0100

Replace Rockchip delay timer by generic one

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

Change-Id: Ifa68b9c97cd96ae1190cee74d22d729af95e4537