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

[damo22]

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