Re: [PATCH] drm.h: Fix DRM compilation with bare-metal toolchain.