Change kore_buf_append() and kore_buf_replace_string() to take a void pointer.