jf: target kernel config