Linux: fixed 32-bit repository add-on ID, should be "repository.libretro-linux32"