[PATCH v2 01/18] sandbox: Add missing header file