does aicp use a kexec hardboot patched kernel?

Title says it all.
I flashed my first rom (AICP) and im digging it. I want to play around with multiboot tho.

Thanks in advance :)