I've spent more than week to try to bring the Wolfson card working in piCore, or Arch Linux.
I don't have any working results. Seems that the modules are too specific to Rasbian.
I've even tried to copy the partial files from the Rasbian, but still "No soundcard".
I was expecting that the Wolfson modules will be included with the new kernel, but nothing yet.
I'll focus on the already supported devices like a PCM5122 based cards, or will make my own card.