Run spatch on devcons.c