Index: boot/arch/arm32/Makefile.inc
===================================================================
--- boot/arch/arm32/Makefile.inc	(revision 82cb67680a75e93d0628880fbf91c77f5e533526)
+++ boot/arch/arm32/Makefile.inc	(revision f2a3e579d2ad69d5f25f56410e84038e85892d89)
@@ -39,4 +39,5 @@
 BITS = 32
 ENDIANESS = LE
+EXTRA_CFLAGS = -march=armv4
 
 RD_SRVS_ESSENTIAL += \
Index: kernel/arch/arm32/Makefile.inc
===================================================================
--- kernel/arch/arm32/Makefile.inc	(revision 82cb67680a75e93d0628880fbf91c77f5e533526)
+++ kernel/arch/arm32/Makefile.inc	(revision f2a3e579d2ad69d5f25f56410e84038e85892d89)
@@ -33,5 +33,5 @@
 ATSIGN = %
 
-GCC_CFLAGS += -fno-zero-initialized-in-bss -mapcs-frame
+GCC_CFLAGS += -march=armv4
 
 BITS = 32
Index: kernel/generic/src/console/console.c
===================================================================
--- kernel/generic/src/console/console.c	(revision 82cb67680a75e93d0628880fbf91c77f5e533526)
+++ kernel/generic/src/console/console.c	(revision f2a3e579d2ad69d5f25f56410e84038e85892d89)
@@ -57,5 +57,5 @@
 
 /** Kernel log cyclic buffer */
-static wchar_t klog[KLOG_LENGTH] __attribute__ ((aligned (PAGE_SIZE)));
+wchar_t klog[KLOG_LENGTH] __attribute__((aligned(PAGE_SIZE)));
 
 /** Kernel log initialized */
Index: uspace/lib/c/arch/arm32/Makefile.common
===================================================================
--- uspace/lib/c/arch/arm32/Makefile.common	(revision 82cb67680a75e93d0628880fbf91c77f5e533526)
+++ uspace/lib/c/arch/arm32/Makefile.common	(revision f2a3e579d2ad69d5f25f56410e84038e85892d89)
@@ -28,5 +28,5 @@
 #
 
-GCC_CFLAGS += -ffixed-r9 -mtp=soft -mapcs-frame -fno-omit-frame-pointer
+GCC_CFLAGS += -ffixed-r9 -mtp=soft -fno-omit-frame-pointer -march=armv4
 
 ENDIANESS = LE
Index: uspace/lib/ext4/libext4_extent.c
===================================================================
--- uspace/lib/ext4/libext4_extent.c	(revision 82cb67680a75e93d0628880fbf91c77f5e533526)
+++ uspace/lib/ext4/libext4_extent.c	(revision f2a3e579d2ad69d5f25f56410e84038e85892d89)
@@ -641,6 +641,4 @@
 	}
 
-	assert(false);
-
 	// start splitting
 	uint32_t fblock = 0;