Add support for ARMv7 vector base address register, support is not enabled by default, however it does work.