BoardConfig: use omnirom kernel config