Re: [coreboot] [CoreBoot] PATCH: Support for Gigabyte GA-6BXE