[CI fail]: gnumach amd64 b46c2dfa327804bd0f8c6ef630608bbf749bf2b5 (--disable-apic --enable-ncpus=1 --enable-user32 --disable-kdb)

[damo22]

CI failure: gnumach amd64 master on commit 
b46c2dfa327804bd0f8c6ef630608bbf749bf2b5 with options --disable-apic 
--enable-ncpus=1 --enable-user32 --disable-kdb