[CI fail]: gnumach amd64 79e98e8bde181f787584edf3e4caf0ccfe006c39 (--enable-apic --enable-ncpus=1 --enable-user32 --enable-kdb)

[damo22]

CI failure: gnumach amd64 master on commit 
79e98e8bde181f787584edf3e4caf0ccfe006c39 with options --enable-apic 
--enable-ncpus=1 --enable-user32 --enable-kdb