Drivers and such things (the rk3588 port)