WIN32 simulator port:  Allow the configTICK_RATE_HZ to be increased without making the sleep time in the simulated timer peripheral too small.
WIN32 simulator port:  Allow the configTICK_RATE_HZ to be increased without making the sleep time in the simulated timer peripheral too small.

git-svn-id: 43aea61533866f88f23079d48f4f5dc2d5288937@1298 1d2547de-c912-0410-9cb9-b8ca96c0e9e2

kubostech/KubOS,Psykar/kubos,Psykar/kubos,Psykar/kubos,Psykar/kubos,Psykar/kubos,Psykar/kubos,kubostech/KubOS,Psykar/kubos