2014.01: two ARM boards left with CONFIG_SYS_HZ warning

Hello,

As we are about to release 2014.01, there are still two boards left which have the following warning:

time.c:14:2: warning: #warning "CONFIG_SYS_HZ must be 1000 and should not be defined by platforms" [-Wcpp]

ISTR work was underway to fix these. Is there, actually, and if not, what do we do with these boards? I don't like having builds where there are warnings left.

Amicalement,

Albert.