The past few days I've been struggling with the unknown of how many pins from the GPIO interface are actually used by the HifiBerry sound card (or my clone). Fortunately, I've found the used pins:

HiFiBerry pins

As you can see, there are quite a few pins left for other things, which means I won't have to use an arduino to control things anymore :)

HTH,