Add missing header, fix mcs800 build

Change-Id: I6d52f72357182cb3891c3a0e9a4b6590181e7e6f