Re: [LinuxBIOS] [PATCH] v2: Fix GA-M57SLI watchdog clocksource