Re: [PATCH] spectre-meltdown-checker: update to 0.42