[PATCH] drm: drop obsolete drm_core.h