Fix kernel headers for cris (thanks hinkocevar)