Enable SMP to be in line with SCHED_FBFS in the laptop config
Mention config "flavor" in the header; remove DEVICE_POLLING for laptop