I have a VSX cluster (VSLS) of two Check point appliances. I want to connect one network cable from each cluster member to a stack of two network switches as follow:

The stack of two switches is acting as one switch.
From what I understand, I will have different MAC addresses on the two ports since each VSX cluster member has their own. But a virtual MAC is used where the active VS is running. So the virtual MAC will move from one port to the other.
My question is : what kind of configuration should I make on the switch?
- Should I group the ports into a port-channel
- or not? (And let the switch thinks it is connected to two different devices?)