k_dflt vs k_i386