core: add allocation of 32-bit integer audio to alloc_audio_buffer()