mpegaudio: remove CONFIG_MPEGAUDIO_HP option