enable 32bit ISO creation