Fixed macro for DBG serial port to print in HIL mode