So what are system76 & purism computers missing with their coreboot systems compared to the list of problems in this page?