added build commands for kernel modules; fixed a compiler warning in certikos_ivc_kmod.c; fixed incorrect function names in kestrel_comm.c