// Kernel options
option SPECTRE_IBRS no