seoul: update pae branch

Fixes #1262