Comment on Intel chip bug FAQ: Which PCs are affected, how to get the patch, and everything else you need to know