docs: List possible GIC versions
    
    Recent changes to the handling of GIC version, specifically commit
    2a7b11eafb67, have clearly defined what values are acceptable for the
    version attribute of the <gic> element. Update the documentation
    accordingly.