faddr on BRK exceptions is set to the address _after_ BRK