Qual é o estado do suporte para RPi no kernel vanilla? O que está impedindo qualquer mesclagem possível do repo de kernel específico do RPi bifurcado de volta ao upstream? Existe algum problema técnico com isso?
Tags kernel linux raspberry-pi