Index: uspace/lib/c/arch/arm32/Makefile.common
===================================================================
--- uspace/lib/c/arch/arm32/Makefile.common	(revision a3fcfbab8ada7658810ed4966e92d5dc1f3cfec7)
+++ uspace/lib/c/arch/arm32/Makefile.common	(revision 97c76825acca82d15cb8daa0e50df4f66ffd6c0b)
@@ -29,4 +29,8 @@
 
 GCC_CFLAGS += -ffixed-r9 -mtp=soft -fno-omit-frame-pointer -march=armv4
+#TODO enable this when the breakage is fixed
+#(fat fails on invalid instruction, tmpfs hangs, there may be other issues)
+#fat: page_fault - instruction doesn't access memory (instr_code: 0x1508, badvaddr:0x.
+#$(subst _,-,$(PROCESSOR))
 
 ENDIANESS = LE
Index: uspace/lib/usbdev/include/usb/dev/request.h
===================================================================
--- uspace/lib/usbdev/include/usb/dev/request.h	(revision a3fcfbab8ada7658810ed4966e92d5dc1f3cfec7)
+++ uspace/lib/usbdev/include/usb/dev/request.h	(revision 97c76825acca82d15cb8daa0e50df4f66ffd6c0b)
@@ -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 *,