This is quite common mistake when SVC is used as parameter for interrupt attribute instead of SWI. Since gcc doesn't warn the developer and treats this as undefined I propose following patch.
0001-Allow-SVC-as-a-parameter-of-intterupt-attribute.patch
Description: Binary data