linux kernel 4.15 已經有patch了，然後也backport到4.14了

目前初步用軟體patch後的效能損失還可觀的…

看看microcode有沒有辦法扳回來一點了