https://johnpili.com/boot-linux-without-a-splash-screen/