https://rudd-o.com/linux-and-free-software/about-boot-time-optimization-in-linux