The fix for 6304252 added a couple unsynchronized checks to the splash screen code. They are (theoretically) thread race prone. This should be fixed.

Also, all the splash screen code should be reviewed for possible synchronization errors.
Probably this should be fixed together with 6284011.