[PD] hdmi to spdif WASRe: another day's raspberry pi experiences