Index: libcfa/src/concurrency/kernel.cfa
===================================================================
--- libcfa/src/concurrency/kernel.cfa	(revision 8ec4a522d40e378e049e76cfcf19c4dc7de8a4a4)
+++ libcfa/src/concurrency/kernel.cfa	(revision 0190480ad9dd1345c67a816a96d7e00dbe611252)
@@ -10,6 +10,6 @@
 // Created On       : Tue Jan 17 12:27:26 2017
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Fri Aug 14 15:23:00 2020
-// Update Count     : 69
+// Last Modified On : Mon Aug 31 07:08:20 2020
+// Update Count     : 71
 //
 
@@ -74,5 +74,9 @@
 		)
 
-#elif defined( __ARM_ARCH )
+#elif defined( __arm__ )
+	#define __x87_store
+	#define __x87_load
+
+#elif defined( __aarch64__ )
 	#define __x87_store		 \
 		uint32_t __fpcntl[2];    \
@@ -93,5 +97,5 @@
 
 #else
-	#error unknown hardware architecture
+	#error unsupported hardware architecture
 #endif