build kern.iso