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

[damo22]

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