seoul: use pae branch of seoul

Fixes #1262