@ kernel/application/config.php: made it flexible