While running at level 3 in Debian 12.5, I got the following messages:
mce: {Hardware Error]: CPU: 8 Machine Check: 0 Bank 0: 8000004000040005
mce: {Hardware Error]: TSC 1838aa435b6d
mce: {Hardware Error]: PROCESSOR 0: b0671 TIME 140710368 SOCKET 0 APIC
20 microcode 12b
Motherboard is Micro-Star International Z790 GAMING PLUS WIFI (MS-7E06)
Processor is Intel(R) Core(TM) i9-14900K model 183 with 0x12b microcode
RAM is Micron Technology Part Number: CP16G56C46U5.C8D
The MB and CPU and RAM are only a few weeks old. Should I try to get
warranty replacement of something?