Merge proposals

spectre-meltdown-checker in Ubuntu has no merge proposals.