The marvel_get_rtc_time and marvel_set_rtc_time are static, but they're
available through Marvel's machine vector.
Reported-by: NRaúl Porcel <armin76@gentoo.org>
Signed-off-by: NMatt Turner <mattst88@gmail.com>