если плавающий бит известен - почему бы руками его не изменить и не прошить измененную версию ? тогда и заработает сразу и дамп будет рабочий, сюда положить.