Use FML kernel config.