VoidStation 0.14.2

Version 0.14.2 is out in the Stable channel. What's new:

• Kernel updates: the yellow “Restart required” notice stayed after restarting because the PC kept booting the old kernel. Direct boot (EFISTUB) now uses one fixed boot entry, “VoidStation EFISTUB”, that stays the same across kernel updates – the new kernel is placed on the EFI partition under a fixed name
• The initramfs no longer contains graphics drivers (they load later anyway) – about 200 MB smaller per kernel; the EFI partition was almost full. Old kernel files are removed from it
• If a kernel doesn’t fit on the EFI partition, GRUB starts automatically with the newest kernel
• Existing devices are switched over during the update (the initramfs is rebuilt once, then restart once)
• If a new kernel still doesn’t start after a restart, Settings → Updates shows a note instead of the permanent notice
• Updates: instead of “Update server not reachable” right after starting, the check now runs immediately; without a network it says “offline – no internet connection”, and the server message only appears when the network is up and the server really doesn’t answer