use awk to format better
generate keycodes from linux sources on github