Nicolas,
Does someone use a bananapi on centos ? I'm using it for a long time, and I'm still on 4.2 kernel.
Every time I try to install a newer I got a lot of errors during install, or yum get stuck on "cleaning..".
The last time I success to install it, it's not very stable...
looks like you ran into the problem with a too small /boot partition. I had that problem too. Increasing the size of the /boot partition to about 10G solves the problem. This is a problem of the Centos installation image. I believe Robert had the same issue.
best regards --- Michael Schumacher