kernel build failed last few times

[Louis Garcia]

Koji shows that kernel build failed for the last few times. Anyone
looking into this?