We are going to be using check_time() on more than the mx53ppd, move this function to a common location.
Signed-off-by: Martyn Welch
/* * Copyright 2017 General Electric Company * * SPDX-License-Identifier: GPL-2.0+ */ void check_time(void);
