K 10 svn:author V 6 andrew K 8 svn:date V 27 2020-09-10T09:50:43.561557Z K 7 svn:log V 121 Switch the name of the pl061 driver to gpio We need it to be named gpio for gpiobus to work. Sponsored by: Innovate UK END