mach-u1: add missing header to fix d710

Change-Id: I10ba117ea925079082453169bf997f0182c23fda