tweaked os/kernel check section name