A10 and A13 have a different set of available interrupt sources, reflect
this in the documentation.
Signed-off-by: NMaxime Ripard <maxime.ripard@free-electrons.com>