baremetal: some quick fixes

baremetal/arch/aarch64/multicore.S

@@ -9,6 +9,7 @@ main:
 
     /* Read cpu id into x1.
      * TODO: cores beyond 4th?
+     * Mnemonic: Main Processor ID Register
      */
     mrs x1, mpidr_el1
     ands x1, x1, 3

baremetal/arch/aarch64/timer.c

@@ -17,7 +17,7 @@
 #define SYSREG_WRITE(type, name) \
     void name ## _write(type name) { \
         __asm__ __volatile__("msr " #name ", %0" : : "r" (name) : ); \
-    } \
+    }
 
 #define SYSREG_READ_WRITE(name, type) \
     SYSREG_READ(name, type) \