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

[damo22]

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