[PATCH] i386: port ATI timer fix from x86_64 to i386 II