diff --git a/hermit/usr/benchmarks/RCCE_pingping.c b/hermit/usr/benchmarks/RCCE_pingping.c
index 6bc0d03cb..8d097d835 100644
--- a/hermit/usr/benchmarks/RCCE_pingping.c
+++ b/hermit/usr/benchmarks/RCCE_pingping.c
@@ -30,8 +30,8 @@
 #define NUMROUNDS   10000
 
 
-static char send_buffer[MAXBUFSIZE+1] __attribute__ ((aligned (32)));
-static char recv_buffer[MAXBUFSIZE+1] __attribute__ ((aligned (32)));
+static char send_buffer[MAXBUFSIZE+1] __attribute__ ((aligned (64)));
+static char recv_buffer[MAXBUFSIZE+1] __attribute__ ((aligned (64)));
 static char dummy = 0;
 
 int RCCE_APP(int argc, char **argv)
diff --git a/hermit/usr/benchmarks/RCCE_pingpong.c b/hermit/usr/benchmarks/RCCE_pingpong.c
index d58949734..6355a8ccc 100644
--- a/hermit/usr/benchmarks/RCCE_pingpong.c
+++ b/hermit/usr/benchmarks/RCCE_pingpong.c
@@ -32,12 +32,12 @@
 
 
 #ifdef _USE_SEPARATED_BUFFERS_
-static char send_buffer[MAXBUFSIZE+1] __attribute__ ((aligned (32)));
-static char recv_buffer[MAXBUFSIZE+1] __attribute__ ((aligned (32)));
+static char send_buffer[MAXBUFSIZE+1] __attribute__ ((aligned (64)));
+static char recv_buffer[MAXBUFSIZE+1] __attribute__ ((aligned (64)));
 #else
 #define send_buffer buffer
 #define recv_buffer buffer
-static char buffer[MAXBUFSIZE+1] __attribute__ ((aligned (32)));
+static char buffer[MAXBUFSIZE+1] __attribute__ ((aligned (64)));
 #endif
 static char dummy = 0;
 
diff --git a/hermit/usr/ircce/RCCE_synch.c b/hermit/usr/ircce/RCCE_synch.c
index 5fd5dc2d7..299e93736 100644
--- a/hermit/usr/ircce/RCCE_synch.c
+++ b/hermit/usr/ircce/RCCE_synch.c
@@ -128,8 +128,8 @@ int RCCE_test_flag(RCCE_FLAG flag, RCCE_FLAG_STATUS val, int *result) {
 //--------------------------------------------------------------------------------------
 int RCCE_barrier(RCCE_COMM *comm) {
  
-  t_vchar           cyclechar[RCCE_LINE_SIZE] __attribute__ ((aligned (32)));
-  t_vchar           valchar  [RCCE_LINE_SIZE] __attribute__ ((aligned (32)));
+  t_vchar           cyclechar[RCCE_LINE_SIZE] __attribute__ ((aligned (RCCE_LINE_SIZE)));
+  t_vchar           valchar  [RCCE_LINE_SIZE] __attribute__ ((aligned (RCCE_LINE_SIZE)));
   int               counter, i, error;
   int               ROOT =  0;
   t_vcharp gatherp, releasep;
@@ -339,8 +339,8 @@ int RCCE_test_tagged(RCCE_FLAG flag, RCCE_FLAG_STATUS val, int *result, void *ta
 //--------------------------------------------------------------------------------------
 int RCCE_barrier(RCCE_COMM *comm) {
  
-  volatile unsigned char cyclechar[RCCE_LINE_SIZE] __attribute__ ((aligned (32)));
-  volatile unsigned char   valchar[RCCE_LINE_SIZE] __attribute__ ((aligned (32)));
+  volatile unsigned char cyclechar[RCCE_LINE_SIZE] __attribute__ ((aligned (RCCE_LINE_SIZE)));
+  volatile unsigned char   valchar[RCCE_LINE_SIZE] __attribute__ ((aligned (RCCE_LINE_SIZE)));
   volatile char *cycle;
   volatile char *val;
   int   counter, i, error;
@@ -458,8 +458,8 @@ int RCCE_barrier(RCCE_COMM *comm) {
 //--------------------------------------------------------------------------------------
 int RCCE_nb_barrier(RCCE_COMM *comm) {
  
-  volatile unsigned char cyclechar[RCCE_LINE_SIZE] __attribute__ ((aligned (32)));
-  volatile unsigned char   valchar[RCCE_LINE_SIZE] __attribute__ ((aligned (32)));
+  volatile unsigned char cyclechar[RCCE_LINE_SIZE] __attribute__ ((aligned (RCCE_LINE_SIZE)));
+  volatile unsigned char   valchar[RCCE_LINE_SIZE] __attribute__ ((aligned (RCCE_LINE_SIZE)));
   int   i, error;
   int   ROOT      =  0;
 #ifdef USE_FLAG_EXPERIMENTAL