Fix uniprocessor compilation. do_timer.h needs asm/mpspec.h for the declaration of `using_apic_timer'
Attach a file by drag & drop or click to upload
