Merge "libion: convert a header file using update_all.py"