[coreboot] New patch to review for coreboot: 9451dd1 Cleanup needed to make coreboot converge with linux driver