[PATCH 7/9] drivers/base: fix empty-body warnings in devcoredump.c