kernel: update Raspberry pi patchset

cherry-pick 0c00c0724b5336d1bee89b7db898d7ecb8d002b6
Fix function tracing