Fixing checkpatch.pl warnings.

Most warnings are "Missing a blank line after declarations". I'm also
adding blank lines between multi-line comments and statements.

Ran with --ignore BRACES,SPDX_LICENSE_TAG,VOLATILE,SPLIT_STRING,
AVOID_EXTERNS,USE_SPINLOCK_T,NEW_TYPEDEFS,INITIALISED_STATIC,
FILE_PATH_CHANGES to reduce noise. Now there is only one type of
warning, with two instances:

WARNING: Prefer using '"%s...", __func__' to using 'dmb', this function's name, in a string
+       __asm__ volatile("dmb sy");

WARNING: Prefer using '"%s...", __func__' to using 'dsb', this function's name, in a string
+       __asm__ volatile("dsb sy");

Change-Id: Id837feef86dc81ba84de1809e76653ddce814422
diff --git a/src/arch/aarch64/handler.c b/src/arch/aarch64/handler.c
index 2f84a90..d341580 100644
--- a/src/arch/aarch64/handler.c
+++ b/src/arch/aarch64/handler.c
@@ -89,18 +89,14 @@
 		}
 
 		dlog("\n");
-		for (;;) {
-			/* do nothing */
-		}
+		break;
 
 	default:
 		dlog("Unknown current sync exception pc=0x%x, esr=0x%x, "
 		     "ec=0x%x\n",
 		     elr, esr, esr >> 26);
-		for (;;) {
-			/* do nothing */
-		}
 	}
+
 	for (;;) {
 		/* do nothing */
 	}
@@ -227,6 +223,7 @@
 static void set_virtual_interrupt_current(bool enable)
 {
 	uintreg_t hcr_el2 = read_msr(hcr_el2);
+
 	if (enable) {
 		hcr_el2 |= HCR_EL2_VI;
 	} else {
@@ -244,6 +241,7 @@
 
 	if (current()->vm->id == HF_PRIMARY_VM_ID) {
 		int32_t psci_ret;
+
 		if (psci_handler(arg0, arg1, arg2, arg3, &psci_ret)) {
 			ret.user_ret = psci_ret;
 			return ret;
@@ -382,6 +380,7 @@
 		for (;;) {
 			/* do nothing */
 		}
+		break;
 
 	case 0x20: /* EC = 100000, Instruction abort. */
 		dlog("Lower instruction abort: pc=0x%x, esr=0x%x, ec=0x%x, "
@@ -400,6 +399,7 @@
 		for (;;) {
 			/* do nothing */
 		}
+		break;
 
 	case 0x17: /* EC = 010111, SMC instruction. */
 		if (vcpu->vm->id != HF_PRIMARY_VM_ID ||