SMP Porting Checklist - A53 *4 as reference

I opened an discussion about an error that keeps happening with my spinlocks even though their implementation is verified independently. You can find it here