Update notes for submitted changes

* x86, hweight: Fix BUG when booting with CONFIG_GCOV_PROFILE_ALL=y