ion: fix missing header export

Change-Id: Ibe5de261af055c447695a789efa07214e03e5d69