[paulgb]

There is no external oversight to ensure that the compiled binaries in the Elementary OS iso match the published Linux kernel code, either.