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