ASoC: isabelle: using an uninitialized variable