[Bug 978284] Trying to repair booting of Tumbleweed 20160422 fails