board/esd/pf5200/pf5200.c: Fix GCC 4.6 build warning