app/seoul: build fails with several "duplicate case value" errors

[Joel Valenciano]

When trying to build seoul, I run into several "duplicate case value"
errors in executor/instructions.inc. This error seems to occur with
the upstream version as well, but I don't know what is causing it.

Log contents are attached.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: make.log
Type: text/x-log
Size: 4846 bytes
Desc: not available
URL: <http://lists.genode.org/pipermail/users/attachments/20210803/782af908/attachment.bin>