[Milhouse]

I did. http://sprunge.us/WIYP

Thanks, but it doesn't look like psmon.sh has been run from autostart.sh after a fresh boot - did you run psmon.sh manually from the command line as that's not going to produce anything useful - it needs to be run from autostart.sh, and after a fresh boot.

Here's one where the hdmi mode changed before the video ended.
http://sprunge.us/BADV

It certainly looks like the video player has bailed out early here - the duration of the default video is 6.0 seconds (6000 ms), but the video player seems to have terminated after ~2.3 seconds.

Here's one where the splash played in full.
http://sprunge.us/XBBR

Yep, that looks normal - as soon as the hello_video.bin process disappears, kodi.bin is released to continue initialising.

I found that disabling overclock seems to allow the splash to play in full. I rebooted 10 times with overclock disabled and that was the case every time.

With overclock enabled I rebooted 10 times and the splash was cut short 8 times out of 10. I guess there's some kind of race involved during the boot.

Not sure, but maybe it's the change of HDMI mode that causes hello_video.bin to terminate early. Or it could be that your overclock is not 100% stable?