Hardware support for integer division not enabled by default for Cortex R4F

GCC's standard CPU configuration for the Cortex R4F does not enable hardware support for integer division although ARM's Cortex R Programmer's Guide clearly states that the R4F does indeed have hardware support for integer division.
For the Cortex R5, integer division is enabled by default.

Quoting from gcc/arm/arm-cpus.in:

begin cpu cortex-r4f
 architecture armv7-r+fp
end cpu cortex-r4f

begin cpu cortex-r5
 architecture armv7-r+idiv+fp
end cpu cortex-r5

Is there a special reason for this behavior?