Index: uspace/lib/c/arch/arm32/Makefile.common
===================================================================
--- uspace/lib/c/arch/arm32/Makefile.common	(revision 7f8f9fd03ad4d0ddd4a7cfba41aec1776137e98f)
+++ uspace/lib/c/arch/arm32/Makefile.common	(revision cc250b3af35039f28df79b2120b0af9079f5966c)
@@ -29,4 +29,5 @@
 
 GCC_CFLAGS += -ffixed-r9 -mtp=soft -fno-omit-frame-pointer -march=armv4
+#$(subst _,-,$(PROCESSOR))
 
 ENDIANESS = LE
Index: uspace/lib/usbdev/include/usb/dev/request.h
===================================================================
--- uspace/lib/usbdev/include/usb/dev/request.h	(revision 7f8f9fd03ad4d0ddd4a7cfba41aec1776137e98f)
+++ uspace/lib/usbdev/include/usb/dev/request.h	(revision cc250b3af35039f28df79b2120b0af9079f5966c)
@@ -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 *,