pulseaudio: rebuild to generate proper 32bit pkgs (found by xbps-dgraph)