Add libc symbols needed by the runtime to of_libc