x86: Use a common lock for printing all trapframes