kernel: update raspberry pi patchset