Simplified board selection a little bit

The shorter name should look more familiar.

Signed-off-by: Christian Ege <k4230r6@gmail.com>
Fixed platform specific code

This driver now uses linux style macro definitions.

Signed-off-by: Christian Ege <k4230r6@gmail.com>
Added smartcard driver from TDT

This driver provides access to the smart card reader available on several
STx71xx based set-top boxes

Signed-off-by: Christian Ege <k4230r6@gmail.com>