compile of kernel supported by or1ksim