arm: realview-pbx-a9: Add doxygen