[openadk] [PATCH] rpi3: update kernel + bootloader