The main issue here is that SVEC base occupies the first 0x4000 of the
address space (as opposed to the 0x2000 for the SPEC base).

This was overlooked when the SVEC demo was updated.

Furthermore, this creates the need for having two separate top-level
drivers (others ways exist of course but this is the simplest).