kernel-rpi: update rpi patches to 943b563.