Fix default kernel configuration

[rpm] Fix default configuration
Update to latest upstream version dbddcf7

[raspberrypi-linux] Update to latest upstream version dbddcf7
[rpm] Add missing includes