a7dbb32253
The patch for 32-bit ARM was included in 4.8.0, and therefore needs to be removed.
The patch for 32-bit ARM was included in 4.8.0, and therefore needs to be removed.