Add HALL_SYNC compilation option