> From: Randy Dunlap <rdunlap@xxxxxxxxxxxxx> > Sent: Friday, May 29, 2020 6:33 AM > Hi, > Looks like you will also need to update > Documentation/admin-guide/kernel-parameters.txt, where it says: > > For X86-32, this can also be used to specify an APIC > driver name. > -- > ~Randy Hi Randy, Thanks for you reminder! I just posted a v2 for this with you Cc'd. Thanks, -- Dexuan