Since the SP804 timer changes will not been merged upstream, switch the default OX810SE config to the OXNAS RPS Timer driver configuration. Signed-off-by: Neil Armstrong <narmstrong@baylibre.com> Signed-off-by: Olof Johansson <olof@lixom.net>
Add mach-oxnas directory containing Kconfig. Signed-off-by: Neil Armstrong <narmstrong@baylibre.com>