No, seriously, did you read what I wrote? All the relevant UEFI code is already open source. That doesn't help us. If someone shipped Coreboot on their Windows 8 certified board and included a CD with the precise source and toolchain they used, we would still be in precisely the same situation.