[coreboot] Do you know really useful SeaBIOS patches that have not been merged yet?