update the talks about f9-kernel and typo date