[seL4] Extending errors to always include argument numbers