Download binary file, snd-soc-hdmi-codec.ko