x86: boot freezes/crashes when negative clearcpuid= is used (e.g. -987654321)
configure ... --enable-board=intel-broadwell-64 --enable-kernel=standard --enable-rootfs=glibc-std
make usb-image
1. boot on NUC5i3MYHE with clearcpuid=-987654321 added to command line
<console fronzen>
2. boot on NUC5i3MYHE with clearcpuid=-87654321 added to command line
reboot
<kernel panic>