port-amd64/54962: cannot boot NetBSD-current on VMware player 15 on Ryzen 5 3600X after sys/arch/x86/x86/cpu_topology.c:r1.18

[knakahara%netbsd.org@localhost]

>Number:         54962
>Category:       port-amd64
>Synopsis:       cannot boot NetBSD-current on VMware player 15 on Ryzen 5 3600X after sys/arch/x86/x86/cpu_topology.c:r1.18
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    port-amd64-maintainer
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Fri Feb 14 11:55:00 +0000 2020
>Originator:     Kengo NAKAHARA
>Release:        HEAD (after sys/arch/x86/x86/cpu_topology.c:r1.18)
>Organization:
	TNF
>Environment:
	HEAD on VMware player 15 on Ryzen 5 3600X
System: NetBSD mollari.NetBSD.org 8.1_STABLE NetBSD 8.1_STABLE (amd64-DOMU_SERVER) #12: Fri Jan 24 18:09:18 UTC 2020 spz%franklin.NetBSD.org@localhost:/home/netbsd/8/amd64/obj/sys/arch/amd64/compile/amd64-DOMU_SERVER amd64
Architecture: x86_64
Machine: amd64
>Description:
	After sys/arch/x86/x86/cpu_topology.c:r1.18, NetBSD-current cannot boot on VMware player 15 on Ryzen 5 3600X.  The kernel silently stop while loading kernel.
>How-To-Repeat:
	Just boot on VMware player 15 on windows 10 whose CPU is Ryzen 5 3600X.	
>Fix:
Apply the following patch, it can boot.  However, I don't understand the patch is appropriate or not.

diff --git a/sys/arch/x86/x86/cpu_topology.c b/sys/arch/x86/x86/cpu_topology.c
index f73b7f65052..69002070829 100644
--- a/sys/arch/x86/x86/cpu_topology.c
+++ b/sys/arch/x86/x86/cpu_topology.c
@@ -192,7 +192,7 @@ x86_cpu_topology(struct cpu_info *ci)
 
                KASSERT(smt_bits == 0);
                smt_bits = ilog2(threads);
-               KASSERT(smt_bits <= core_bits);
+//             KASSERT(smt_bits <= core_bits);
                core_bits -= smt_bits;
        }