]> git.sur5r.net Git - u-boot/search
db410c: replace reset driver with psci