[CI fail]: gnumach amd64 cb17f374875c3b2696cf53695d13fc0ba73ca738 (--enable-apic --enable-ncpus=8 --enable-user32 --enable-kdb)

[damo22]

CI failure: gnumach amd64 master on commit 
cb17f374875c3b2696cf53695d13fc0ba73ca738 with options --enable-apic 
--enable-ncpus=8 --enable-user32 --enable-kdb