[PATCH 4.9 085/125] drivers/base/platform.c: kmemleak ignore a known leak