How modern Linux systems boot