'slub_debug', # See setup_slub_debug() in mm/slub.c
'iommu', # See iommu_setup() in arch/x86/kernel/pci-dma.c
'vsyscall', # See vsyscall_setup() in arch/x86/entry/vsyscall/vsyscall_64.c
+ 'vdso32', # See vdso32_setup() in arch/x86/entry/vdso/vdso32-setup.c
+ 'vdso', # See vdso32_setup() in arch/x86/entry/vdso/vdso32-setup.c
'tsx' # See tsx_init() in arch/x86/kernel/cpu/tsx.c
]