Don't print Ec-deaths that occurred at USER_ADDR.

This is a magic address used by NRE to indicate a voluntary
exit of an Ec. Thus, it's annoying if NOVA prints out all
of these deaths.