Merge changes I88db22d5,I0ed0f737

* changes:
  website: Bump example kernel version to 4.14
  website: Fix arm/linux gerrit links