target-i386: Allow tsc-frequency to be larger then 2.147G