I spoke with someone in the IRC to send this here, I offered free hardware for a port of coreboot to this machine.