fixed build igep kernel for non-linux