// Kernel options
option SPECTRE_IBRS yes