Allow CHERI system-class methods to be overriden from the caller (e.g.,
to replace the class method invocated for cheri_system_putchar()) through
a per-method global variable.