[PATCH v3 05/32] bootstd: Add missing header file from bootdev.h