I did some testing and benchmarking now, and I found that most functions that we are running now are needed. I found a few enhancements, but these only shortened the boot time by 0.1 seconds. We could lower the boot time by ~0.5 seconds by removing the video cropping, but I think the video cropping is very useful, so I don't want to change that.

I might have a look at this again later, but at the moment I don't see many hacks we can apply to make it load faster. It is gstreamer that loads a bit slowly and causes most of the delays.