Re: [LinuxBIOS] [patch 0/4] AMD Geode LX VSA and VSMs