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

[damo22]

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