Half of his pay is dependent on the performance of the company, so that looks pretty reasonable relative to the pay of other CEOs at big companies. It probably doesn't look reasonable to the guy who just got laid off.
These are small, insignificant adjustments relative to the size of the company.