Wrap IPI-related stuffs with proper config entry

Signed-off-by: Junjie Mao <eternal.n08@gmail.com>