move libc related stuff out of platform.h

Signed-off-by: Denys Vlasenko <vda.linux@googlemail.com>
12 files changed