Pak Choi, Wokgemüse Pfannengerührt