Update for JOP40C
Change-Id: Ic3f2f24683a1bb3e696f5855842dafb92ad79e8b
diff --git a/src/source/build-numbers.md b/src/source/build-numbers.md
index cff13e1..d41700d 100644
--- a/src/source/build-numbers.md
+++ b/src/source/build-numbers.md
@@ -126,7 +126,7 @@
JRO03R | android-4.1.1_r6 | Nexus S 4G
JRO03S | android-4.1.1_r6.1 | Nexus 7
JZO54K | android-4.1.2_r1 | Nexus S, Galaxy Nexus, Nexus 7
-JOP40 | android-4.2_r1 | latest Jelly Bean version, Galaxy Nexus, Nexus 7, Nexys 4, Nexus 10
+JOP40C | android-4.2_r1 | latest Jelly Bean version, Galaxy Nexus, Nexus 7, Nexys 4, Nexus 10
The branches froyo, gingerbread, ics-mr0, ics-mr1, jb-dev,
jb-mr1-dev,
diff --git a/src/source/building-devices.md b/src/source/building-devices.md
index 44f01b2..25b5c9c 100644
--- a/src/source/building-devices.md
+++ b/src/source/building-devices.md
@@ -24,9 +24,8 @@
The exact level of functionality for each device depends on the availability
of the relevant proprietary hardware-specific binaries.
-All configurations of Nexus 10 can be used, and on those
-devices all the peripherals are functional: graphics, audio, Wi-Fi, Bluetooth,
-sensors, cameras, hardware codecs, NFC, GPS.
+All configurations of Nexus 10 can be used. On those devices, graphics, audio,
+Wi-Fi, Bluetooth, camera, NFC, GPS and orientation sensors are functional.
Nexus 4 cannot be used at the moment.