[1] http://git.annexia.org/?p=libguestfs-talks.git;a=tree;f=2016...
Of course in the real world the people who select your hardware don't talk to the people who care about software. So you are stuck with slow boots just because it is too late to go back and do a fill million dollars each board re-spins now that we know our boot times are too slow.
It gets worse, even if you select fast init hardware that doesn't mean it really is fast. I've seen hardware that claims to not need long inits, but if you don't insert waits in the boot there are bugs.
Pretending there is no problem is part of the problem.
It's simply not rocket science.
I'm surprised to see this, in what way does it require hard CS research? Isn't it just debugging and implementation pain?
(Note I'm not saying you can't do a PhD in it and improve the situation -- you could probably do that for any problem, honestly. Just saying that I think you could get most of the way there by just paying the engineering cost.)
EDIT: https://hal.science/hal-00870846/file/W5_PX_Le_Berre_On_SAT_...