base: misc: Add missing header file. (transplanted from 63ed22c458e57f6c08d1806f1950992ecb6b29fd)
base: misc: Add missing header file.
(transplanted from 63ed22c458e57f6c08d1806f1950992ecb6b29fd)

andrewfu0325/gem5-aladdin,andrewfu0325/gem5-aladdin,andrewfu0325/gem5-aladdin,andrewfu0325/gem5-aladdin,andrewfu0325/gem5-aladdin,andrewfu0325/gem5-aladdin,andrewfu0325/gem5-aladdin