xeon_phi: fix compilation with full debug enabled