Re: [LinuxBIOS] Proposed change to amd/amdk8/incoherent_ht.c