Adding prototypes for ASM IPI handlers (but no definitions)