A few years ago, there was an article on getting a fully functional Linux booted on an rpi in 3-4s which has a few other, maybe more generally useful tips for speeding up startup times: http://himeshp.blogspot.com/2018/08/fast-boot-with-raspberry...