The BadVAddr register is now updated before signalling an invalid address exception in the address translation function