src/arch: Improve code formatting

Change-Id: Ic1ca6c2e1cd06800d7eb2d00ac0b328987d022ef
Signed-off-by: Elyes HAOUAS <ehaouas@noos.fr>
Reviewed-on: https://review.coreboot.org/16434
Tested-by: build bot (Jenkins)
Reviewed-by: Omar Pakker

src/arch/arm/armv7/thread.c

@@ -55,7 +55,7 @@ void arch_prepare_thread(struct thread *t,
 	 * hunting for (e.g.) misaligned stacks or other such
 	 * weirdness. The -1 is because we already pushed lr.
 	 */
-	for (i = 0; i < sizeof(struct pushed_regs)/sizeof(u32)-1; i++)
+	for (i = 0; i < sizeof(struct pushed_regs) / sizeof(u32) - 1; i++)
 		stack = push_stack(stack, poison++);
 
 	t->stack_current = stack;

src/arch/riscv/include/arch/hlt.h

@@ -13,5 +13,5 @@
 
 static inline __attribute__((always_inline)) void hlt(void)
 {
-        while(1);
+	while (1);
 }

src/arch/x86/acpigen.c

@@ -519,7 +519,7 @@ void acpigen_write_TPC(const char *gnvs_tpc_limit)
 	{
 		Return (\TLVL)
 	}
- */
+*/
 	acpigen_write_method("_TPC", 0);
 	acpigen_emit_byte(0xa4);		/* ReturnOp */
 	acpigen_emit_namestring(gnvs_tpc_limit);
@@ -617,7 +617,7 @@ void acpigen_write_TSS_package(int entries, acpi_tstate_t *tstate_list)
 		Package(){100, 1000, 0, 0x00, 0)
 		Package(){50, 520, 0, 0x18, 0)
 	})
- */
+*/
 	int i;
 	acpi_tstate_t *tstate = tstate_list;