Overall, I would expect the payout to be included on your final W-2 from the employer. But as Critter#2 says, it depends on how payroll is handling the payout. If they pay it to you, then it's taxable income. What you use that taxable income for (if it's paid directly to you) doesn't matter. It's taxable/reportable income.
