diff --git a/nix/configurations/vanadium/kernel-overlay.nix b/nix/configurations/vanadium/kernel-overlay.nix
index 6cb8c7e4..4243b3f6 100644
--- a/nix/configurations/vanadium/kernel-overlay.nix
+++ b/nix/configurations/vanadium/kernel-overlay.nix
@@ -30,10 +30,15 @@ in {
         SCHED_MC = yes;
         X86_MCE = yes;
         X86_MCE_AMD = yes;
+        X86_MCE_INTEL = no;
         PERF_EVENTS_INTEL_RAPL = yes;
         X86_AMD_PSTATE = yes;
         X86_POWERNOW_K8 = no;
 
+        # Processor type and features > Performance monitoring
+        PERF_EVENTS_AMD_POWER = yes;
+        PERF_EVENTS_AMD_UNCORE = yes;
+
         # With amd_pstate=active ondemand won't be available anyway.
         # Without more testing, we should accept the claim that its more power efficient and stick to it
         CPU_FREQ = yes;