[PATCH kernel-4.19 2/2] kabi: add kabi list for x86_64