[installer] [target] [raspberrypi] use upstream Linux kernel and patch in raspberrypi support