Alias for retrieving kernel config