Index: uspace/lib/c/arch/arm32/Makefile.common
===================================================================
--- uspace/lib/c/arch/arm32/Makefile.common	(revision 9727b92a69662ad809160b46263b1ef1fa3a6f92)
+++ uspace/lib/c/arch/arm32/Makefile.common	(revision e2a6b727e4e48e0863bbeff4eadd944af3ceecdd)
@@ -29,5 +29,5 @@
 
 BASE_LIBS += $(LIBSOFTFLOAT_PREFIX)/libsoftfloat.a
-GCC_CFLAGS += -ffixed-r9 -mtp=soft -fno-omit-frame-pointer -march=armv4 -mapcs-frame
+GCC_CFLAGS += -ffixed-r9 -mtp=soft -fno-omit-frame-pointer -mapcs-frame -march=$(subst _,-,$(PROCESSOR))
 
 ENDIANESS = LE
Index: uspace/lib/c/include/macros.h
===================================================================
--- uspace/lib/c/include/macros.h	(revision 9727b92a69662ad809160b46263b1ef1fa3a6f92)
+++ uspace/lib/c/include/macros.h	(revision e2a6b727e4e48e0863bbeff4eadd944af3ceecdd)
@@ -60,4 +60,10 @@
 #endif
 
+#define _paddname(line) PADD_ ## line ## __
+#define _padd(width, line) uint ## width ## _t _paddname(line)
+#define PADD32(count) _padd(32, __LINE__)[count]
+#define PADD16(count) _padd(16, __LINE__)[count]
+#define PADD8(count) _padd(8, __LINE__)[count]
+
 /** @}
  */
Index: uspace/lib/usbdev/include/usb/dev/request.h
===================================================================
--- uspace/lib/usbdev/include/usb/dev/request.h	(revision 9727b92a69662ad809160b46263b1ef1fa3a6f92)
+++ uspace/lib/usbdev/include/usb/dev/request.h	(revision e2a6b727e4e48e0863bbeff4eadd944af3ceecdd)
@@ -93,8 +93,8 @@
 	uint8_t request;
 	/** Main parameter to the request. */
-	union {
+	union __attribute__ ((packed)) {
 		uint16_t value;
 		/* FIXME: add #ifdefs according to host endianness */
-		struct {
+		struct __attribute__ ((packed)) {
 			uint8_t value_low;
 			uint8_t value_high;
@@ -108,4 +108,6 @@
 	uint16_t length;
 } __attribute__ ((packed)) usb_device_request_setup_packet_t;
+
+int assert[(sizeof(usb_device_request_setup_packet_t) == 8) ? 1: -1];
 
 int usb_control_request_set(usb_pipe_t *,