Catch up with config changes in newer Nuttx versions.