options.conf: bump to linux317 for early microcode loading