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

[damo22]

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