Add __attribute__((singlepath)) support for Patmos