mcelog: Address PR comments.