Comment # 13 on bug 1229042 from Marcos de Souza

Hi Takashi and Jiri, sorry for breaking the build of our kernels, and thanks a
lot for fixing it!