Re: [LinuxBIOS] [PATCH][v3] Spinlock fixes