
The CONFIG_CLOCKSOURCE_WATCHDOG_MAX_SKEW_US is missing. Avoid complaints and add it with its default 125. Signed-off-by: Markus Stockhausen <markus.stockhausen@gmx.de>
The CONFIG_CLOCKSOURCE_WATCHDOG_MAX_SKEW_US is missing. Avoid complaints and add it with its default 125. Signed-off-by: Markus Stockhausen <markus.stockhausen@gmx.de>