drivers/base/platform.c: fix small typo in doc