Add missing header file.
Add missing header file.

Change-Id: I2b0fdab305fc3b7286679ac133daed62523fb241

BUG=none
TEST=none

Review URL: http://codereview.chromium.org/3423009

coreboot/vboot,marineam/seismograph,ccaapton/vboot_reference,ionave/seismograph,coreboot/vboot,geekboxzone/mmallow_external_vboot_reference,acorn-marvell/vboot_reference,ccaapton/vboot_reference,marineam/seismograph,coreboot/vboot,coreboot/vboot,acorn-marvell/vboot_reference,marineam/seismograph,ccaapton/vboot_reference,geekboxzone/mmallow_external_vboot_reference,ionave/seismograph,geekboxzone/mmallow_external_vboot_reference,marineam/seismograph,acorn-marvell/vboot_reference,ionave/seismograph,acorn-marvell/vboot_reference,geekboxzone/mmallow_external_vboot_reference,ccaapton/vboot_reference,geekboxzone/mmallow_external_vboot_reference,coreboot/vboot