Update the kelvin_hw_verilog target

Generate kelvin.v matches the syntax of the checked-in verilog

Change-Id: Idae5d4265735be544b9a28a386a65e9881f3ef52