Re: [LinuxBIOS] [PATCH] v3 - spinlock cleanup