Re-adding the raspberry pi kernel.

Removed by mistake (I guess) on Eelco's merge from trunk:
2aa6f262cbb2052d604874223549ca44fd448a67