fix compilation igep-kernel