[PATCH 04/29] bootstd: Add missing header file from bootdev.h