Embed unsupported device messages in the emitted Verilog.