Add kernel configs for or1k