Remove some unused #defines.

Does not affect verification.

src/arch/arm/kernel/vspace.c

@@ -331,8 +331,6 @@ copyGlobalMappings(pde_t *newPD)
     }
 }
 
-#define intSize (wordBits / 8)
-
 word_t * PURE
 lookupIPCBuffer(bool_t isReceiver, tcb_t *thread)
 {
@@ -736,9 +734,6 @@ isValidVTableRoot(cap_t cap)
            cap_page_directory_cap_get_capPDIsMapped(cap);
 }
 
-#define wSize (capTransferDataSize + msgMaxLength + msgMaxExtraCaps + 2)
-#define bSize (wSize * intSize)
-
 exception_t
 checkValidIPCBuffer(vptr_t vptr, cap_t cap)
 {