correct 32 bit mx-bootrepair