tree 3c7c8eda88e0dd4487e91bfff9fe28f815b3eccb
parent 4b56c865eb1ccb40bc48319e56837584508893fe
author Derek Chow <derekjchow@google.com> 1708991730 -0800
committer Derek Chow <derekjchow@google.com> 1708991730 -0800

Prefix platform check with kelvin_sw.

Change-Id: I27aafd64c229e219ab2c9953f5ac783cb49cae45