raspberry pi: Minor kernel bump