minidriver: fix arm11 compilation problem