[PATCH] x86-64/i386: Use common X86_PM_TIMER option and make it EMBEDDED