diff --git a/doc/arm/Bv9ARM.pdf b/doc/arm/Bv9ARM.pdf index 02ef96d4a7..b5d07f39c7 100644 Binary files a/doc/arm/Bv9ARM.pdf and b/doc/arm/Bv9ARM.pdf differ diff --git a/doc/arm/notes.pdf b/doc/arm/notes.pdf index 3765767a84..3d1e03a933 100644 Binary files a/doc/arm/notes.pdf and b/doc/arm/notes.pdf differ