Now that the rockchip cpu is very close to full upstream kernel support, how does the raspberry pi compare? Do they maintain their own kernel branch (considering they use a pretty uncommon/restricted Broadcom chip) or is it mostly upstreamed?