Comment by Qweiuu

I probably boot a few embedded devices per day.

If someone did not optimize this this might indicate other optimizations