RTVAX1000: Make sure that rtvax1000 doesn't contain any parts of the VCB01 board which was never supported.

This fix makes sure that builds are clean when SDLlib is available at compile time for this system.