Fixed another vmdio issue.

An include that was missed previsouly in trxio.h.

Change-Id: Id7f491e402dec0ee6783d933e98692abb6ce9f1a