Set abitonic kernels args

Abitonic mostly working, a bug in max_inkrnl_sfs still exists.