virtex5/.../bsp.h: Add BSP_Convert_decrementer() macro required by MPC6xx timer driver