kernel compile broken in latest HEAD

[Gary Jennejohn]

On Wed, 10 Jul 2013 12:43:00 +0200
Alexander Leidinger <Alexander at Leidinger.net> wrote:

> On Tue, 9 Jul 2013 17:32:33 +0200
> Gary Jennejohn <gljennjohn at googlemail.com> wrote:
> 
> > I simply named them all x to get the kernel to compile, which
> > succeeded.
> 
> I committed such a fix, can you please verify that it's ok for you?
> 

Yup, it works.

-- 
Gary Jennejohn