Merge changes I88db22d5,I0ed0f737

* changes:
  website: Bump example kernel version to 4.14
  website: Fix arm/linux gerrit links
diff --git a/_pages/documentation/general_docs/fullsystem/building_arm_kernel.md b/_pages/documentation/general_docs/fullsystem/building_arm_kernel.md
index b278b95..3c3dd70 100644
--- a/_pages/documentation/general_docs/fullsystem/building_arm_kernel.md
+++ b/_pages/documentation/general_docs/fullsystem/building_arm_kernel.md
@@ -39,9 +39,9 @@
 git clone https://gem5.googlesource.com/arm/linux
 ```
 
-The repository contains a tag per gem5 kernel releases and working branches for major Linux revisions. Check the [project page](https://gem5-review.googlesource.com/#/admin/projects/arm/linux project page) for a list of tags and branches. The clone command will, by default, check out the latest release branch. To checkout the v4.4 branch, execute the following in the repository:
+The repository contains a tag per gem5 kernel releases and working branches for major Linux revisions. Check the [project page](https://gem5-review.googlesource.com/#/admin/projects/arm/linux) for a list of tags and branches. The clone command will, by default, check out the latest release branch. To checkout the v4.14 branch, execute the following in the repository:
 ```
-git checkout -b gem5/v4.4
+git checkout -b gem5/v4.14
 ```
 
 ## AArch32
@@ -86,7 +86,7 @@
 git clone https://gem5.googlesource.com/arm/linux-arm-legacy
 ```
 
-The repository contains a tag per gem5 kernel release. Check the [project page](https://gem5-review.googlesource.com/#/admin/projects/arm/linux-arm-legacy project page) for a list of branches and release tags. To checkout a tag, execute the following in the repository:
+The repository contains a tag per gem5 kernel release. Check the [project page](https://gem5-review.googlesource.com/#/admin/projects/arm/linux-arm-legacy) for a list of branches and release tags. To checkout a tag, execute the following in the repository:
 
 ```
 git checkout -b TAGNAME
@@ -115,7 +115,7 @@
 git clone https://gem5.googlesource.com/arm/linux-arm64-legacy
 ```
 
-The repository contains a tag per gem5 kernel release. Check the [project page](https://gem5-review.googlesource.com/#/admin/projects/arm/linux-arm64-legacy project page) for a list of branches and release tags. To checkout a tag, execute the following in the repository:
+The repository contains a tag per gem5 kernel release. Check the [project page](https://gem5-review.googlesource.com/#/admin/projects/arm/linux-arm64-legacy) for a list of branches and release tags. To checkout a tag, execute the following in the repository:
 
 ```
 git checkout -b TAGNAME