ivory-px4-hw: fix syntax for statemachine