Modify kernel kconfig for ipipe

Fixes kernel panic for timer IO-APIC bug

Signed-off-by: Alec Ari <neotheuser@ymail.com>