Index: kernel/generic/src/synch/condvar.c
===================================================================
--- kernel/generic/src/synch/condvar.c	(revision e3306d0477902705968eca74bbf2f4b766535c78)
+++ kernel/generic/src/synch/condvar.c	(revision 34c76e2fc56d7e5a4922e24522df3d9d48503150)
@@ -189,5 +189,4 @@
 }
 
-
 /** @}
  */
Index: kernel/generic/src/synch/futex.c
===================================================================
--- kernel/generic/src/synch/futex.c	(revision e3306d0477902705968eca74bbf2f4b766535c78)
+++ kernel/generic/src/synch/futex.c	(revision 34c76e2fc56d7e5a4922e24522df3d9d48503150)
@@ -94,5 +94,4 @@
 } futex_ptr_t;
 
-
 static void destroy_task_cache(work_t *work);
 
@@ -116,5 +115,4 @@
 static bool task_fut_ht_equal(const cht_link_t *item1, const cht_link_t *item2);
 static bool task_fut_ht_key_equal(void *key, const cht_link_t *item);
-
 
 /** Mutex protecting the global futex hash table.
@@ -226,5 +224,4 @@
 }
 
-
 /** Initialize the kernel futex structure.
  *
@@ -284,5 +281,4 @@
 	return get_and_cache_futex(paddr, uaddr);
 }
-
 
 /** Finds the physical address of the futex variable. */
@@ -331,5 +327,4 @@
 	return futex;
 }
-
 
 /**
@@ -448,5 +443,4 @@
 }
 
-
 /** Return the hash of the key stored in the item */
 size_t futex_ht_hash(const ht_link_t *item)
Index: kernel/generic/src/synch/rcu.c
===================================================================
--- kernel/generic/src/synch/rcu.c	(revision e3306d0477902705968eca74bbf2f4b766535c78)
+++ kernel/generic/src/synch/rcu.c	(revision 34c76e2fc56d7e5a4922e24522df3d9d48503150)
@@ -26,5 +26,4 @@
  * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  */
-
 
 /** @addtogroup sync
@@ -247,5 +246,4 @@
 } rcu_data_t;
 
-
 static rcu_data_t rcu;
 
@@ -294,6 +292,4 @@
 static void upd_max_cbs_in_slice(size_t arriving_cbs_cnt);
 
-
-
 /** Initializes global RCU structures. */
 void rcu_init(void)
@@ -394,5 +390,4 @@
 	link_initialize(&thread->rcu.preempt_link);
 }
-
 
 /** Cleans up global RCU resources and stops dispatching callbacks.
@@ -715,5 +710,4 @@
 	return cur_cbs_empty() && next_cbs_empty() && arriving_cbs_empty();
 }
-
 
 /** Reclaimer thread dispatches locally queued callbacks once a GP ends. */
@@ -918,5 +912,4 @@
 	return expedite;
 }
-
 
 #ifdef RCU_PREEMPT_A
@@ -1291,5 +1284,4 @@
 }
 
-
 /** The detector thread detects and notifies reclaimers of grace period ends. */
 static void detector(void *arg)
@@ -1337,5 +1329,4 @@
 	return !interrupted;
 }
-
 
 static void end_cur_gp(void)
@@ -1608,5 +1599,4 @@
 	}
 }
-
 
 #endif /* RCU_PREEMPT_PODZIMEK */
Index: kernel/generic/src/synch/smp_memory_barrier.c
===================================================================
--- kernel/generic/src/synch/smp_memory_barrier.c	(revision e3306d0477902705968eca74bbf2f4b766535c78)
+++ kernel/generic/src/synch/smp_memory_barrier.c	(revision 34c76e2fc56d7e5a4922e24522df3d9d48503150)
@@ -40,5 +40,4 @@
 #include <config.h>
 
-
 static void issue_mem_bar(void *arg)
 {
Index: kernel/generic/src/synch/waitq.c
===================================================================
--- kernel/generic/src/synch/waitq.c	(revision e3306d0477902705968eca74bbf2f4b766535c78)
+++ kernel/generic/src/synch/waitq.c	(revision 34c76e2fc56d7e5a4922e24522df3d9d48503150)
@@ -61,5 +61,4 @@
 static void waitq_sleep_timed_out(void *);
 static void waitq_complete_wakeup(waitq_t *);
-
 
 /** Initialize wait queue
@@ -489,5 +488,4 @@
 }
 
-
 /** Internal SMP- and IRQ-unsafe version of waitq_wakeup()
  *
Index: kernel/generic/src/synch/workqueue.c
===================================================================
--- kernel/generic/src/synch/workqueue.c	(revision e3306d0477902705968eca74bbf2f4b766535c78)
+++ kernel/generic/src/synch/workqueue.c	(revision 34c76e2fc56d7e5a4922e24522df3d9d48503150)
@@ -52,5 +52,4 @@
 #define WORK_ITEM_MAGIC  0xfeec1777U
 
-
 struct work_queue {
 	/*
@@ -96,5 +95,4 @@
 };
 
-
 /** Min number of idle workers to keep. */
 static size_t min_worker_cnt;
@@ -111,5 +109,4 @@
 static int booting = true;
 
-
 typedef struct {
 	IRQ_SPINLOCK_DECLARE(lock);
@@ -121,9 +118,6 @@
 static nonblock_adder_t nonblock_adder;
 
-
-
 /** Typedef a worker thread signaling operation prototype. */
 typedef void (*signal_op_t)(struct work_queue *workq);
-
 
 /* Fwd decl. */
@@ -790,5 +784,4 @@
 	--workq->idle_worker_cnt;
 }
-
 
 /** Invoked from thread_ready() right before the thread is woken up. */
@@ -888,5 +881,4 @@
 }
 
-
 static bool dequeue_add_req(nonblock_adder_t *info, struct work_queue **pworkq)
 {
@@ -925,5 +917,4 @@
 	}
 }
-
 
 static void nonblock_init(void)