очень похоже, что именно так - только gpio_16 и key_col3 имеют эту функцию и оба "похоронены" под чипом..
я примерно так же обломился в поисках второго канала pwm - на одном висит подсветка, на второй хотел привесить вентилятор, аншыш, либо в выводах lcd либо в контактах sd.. плюнул, оставил на gpio. в резерве есть вариант на внешнем чипе - проверенное решение..
в вашем случае, я бы попробовал поизучать вопрос со сменой аудиокодека (tlv320), возможно есть варианты чипов с внешним spdif.. например, в том же alc655 (редкоземельный чип) есть цепи входа/выхода spdif update впрочем, в последнем случае, может оказаться, что это внешние цепи и в АРМ их не загнать..