aarch64 haskell: fix syscall arg error reporting

The argument numbers in the error messages for
decodeARMFrameInvocationMap are slightly off.

Same bug exists in C, see also seL4/seL4#1075.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>

spec/haskell/src/SEL4/Kernel/VSpace/AARCH64.hs

@@ -542,8 +542,8 @@ decodeARMFrameInvocationMap cte cap vptr rightsMask attr vspaceCap = do
     let pgBits = pageBitsForSize frameSize
     case capFMappedAddress cap of
         Just (asid', vaddr') -> do
-            when (asid' /= asid) $ throw $ InvalidCapability 0
-            when (vaddr' /= vptr) $ throw $ InvalidArgument 2
+            when (asid' /= asid) $ throw $ InvalidCapability 1
+            when (vaddr' /= vptr) $ throw $ InvalidArgument 0
         Nothing -> do
             let vtop = vptr + (bit pgBits - 1)
             when (vtop > pptrUserTop) $ throw $ InvalidArgument 0