[PATCH] i386: use GTOD persistent clock support