Linux kernel bugs: we add them in and then take years to get them out