Use specific prefix to specify the name of supported
timer hardware: "General Purpose Timer (GPT)".
Signed-off-by: NStanley Chu <stanley.chu@mediatek.com>
Signed-off-by: NDaniel Lezcano <daniel.lezcano@linaro.org>