Cc: Riku Voipio <riku.voipio@iki.fi>
Signed-off-by: NAndré Hentschel <nerv@dawncrow.de>
Reviewed-by: NPeter Maydell <peter.maydell@linaro.org>
Reviewed-by: NErik de Castro Lopo <erikd@mega-nerd.com>
Reviewed-by: NLaurent Vivier <laurent@vivier.eu>
Signed-off-by: NRiku Voipio <riku.voipio@linaro.org>