K 10 svn:author V 4 mmel K 8 svn:date V 27 2016-02-04T13:32:29.049882Z K 7 svn:log V 67 ARM: RPI-B kernel was broken by r294740. Make it functional again. END