kern/53420: NetBSD-8.0_RC2-amd64-uefi-install.img can't boot on Pentium N4200

[vsatayamas%gmail.com@localhost]

>Number:         53420
>Category:       kern
>Synopsis:       NetBSD-8.0_RC2-amd64-uefi-install.img can't boot on Pentium N4200
>Confidential:   no
>Severity:       serious
>Priority:       high
>Responsible:    kern-bug-people
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Tue Jul 03 03:30:00 +0000 2018
>Originator:     Vee Satayamas
>Release:        kernel
>Organization:
Kasetsart University
>Environment:
I can't boot yet.
>Description:
NetBSD-8.0_RC2-amd64-uefi-install can't boot on Acer Swift 1 with Pentium N4200 cpu.

The messages are as follow:

acpicpu0 at cpu0: ACPI CPU
coretemp0 at cpu0: thermal sensor, 1 C resolution
acpicpu1 at cpu1: ACPI CPU
coretemp1 at cpu1: thermal sensor, 1 C resolution
acpicpu2 at cpu2: ACPI CPU
coretemp2 at cpu2: thermal sensor, 1 C resolution
acpicpu3 at cpu3: ACPI CPU
coretemp3 at cpu3: thermal sensor, 1 C resolution
cpu1: failed to start
>How-To-Repeat:
1. Create a boot disk using NetBSD-8.0_RC2-amd64-uefi-install.img
2. Put USB drive into Acer Swift 1 (using Pentium N4200) and boot from this drive

>Fix:
-