K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2020-11-17T10:27:42.100956Z
K 7
svn:log
V 251
Stop calling gic_v3_detach when we haven't called gic_v3_attach

The former tries to dereference memory allocated by the latter. If counting
the redistributor fails it may try to dereference memory that was never
allocated.

Sponsored by:	Innovate UK

END