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

[damo22]

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