Linux is greatly improving boot performance through patches