Edit - much much faster (4 secs), actually: http://himeshp.blogspot.com/2018/08/fast-boot-with-raspberry...