update the BAST driver config (which already supports the vr1000) to
be selected only if the vr1000 has been configured
Signed-off-by: NBen Dooks <ben@simtec.co.uk>
Signed-off-by: NThomas Gleixner <tglx@linutronix.de>