Re: [OS-BUILD PATCH] redhat/configs: enable HP_WATCHDOG for aarch64