ARM A15: Remove statement with no effect.
ARM A15: Remove statement with no effect.

This looks to me like a statement to suppress unused function warnings that
accidentally got shuffled inside the ifdef. This change has no effect on
verification.

zhicheng/seL4,zhicheng/seL4,cmr/seL4,cmr/seL4,zhicheng/seL4,cmr/seL4