Add system and oahl stubs to veridex.zip

Test: m dist
Change-Id: I354d2f90c42c0cfa7e7d67052c68b455e12fdd5c
2 files changed