[coreboot] [PATCH] Updated vx800 patch, NOT merge-ready