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