I’m currently using the HDMI sound output to feed a Denon AVR1911 amplifier which is capable of 192kHz/24bits but as I understand the actual kernel is limited to 48kHz only so based on different posts here I have to make my own kernel to get rid of this limitation.
I have a PI 2 B and I guess it has enough CPU power to compile the kernel «fast» enough but my laptop is way faster. Anyway, before cross-compiling (I can find the howto easily) I have to find where the kernel sources used in Volumio are. I did not find this information.
So, any clue where those files are?