mkosi: Neues Programm zum Erzeugen von Betriebssystem-Images