FL-432: fix kernel config handling.