realview-pb: add documentation for gic_set_enable()