This is necessary if you get: kernel: Too many HDMI devices kernel: Consider building the kernel with CONFIG_SND_DYNAMIC_MINORS=y