DANKE! Das hätte ich mich nicht getraut...
Komischerweise startete die dm900 nicht neu, es verschwand eigentlich nur der Dialog. Ich habe dann nochmal manuell neu gestartet (über GUI). Laut Webinterface habe ich aber immer noch Dreambox OS Version: 4.3.1r24-2018-01-31 und Image Version: Experimental 2016-12-01. Ich werde heute Abend noch einmal ein Update versuchen.