Remove reference to DISABLE_PEDANTIC
Remove reference to DISABLE_PEDANTIC

This flag was removed in 79eb1aff7850 ("Remove `DISABLE_PEDANTIC` build
option").

Change-Id: Ic3584a4c5f0100ed9e57b068ec672b0baae8cfab
Signed-off-by: Antonio Nino Diaz <5c24ff39be768bf31f4deee44042a11772cfd02a@arm.com>

achingupta/arm-trusted-firmware,achingupta/arm-trusted-firmware