CORES=$(nproc)
KERNEL_FLAVOR=${1:-tptracepoint}
KERNEL_STAMP=${2:-$(python -c 'import uuid; print(str(uuid.uuid1())[0:8])')}

cd $BENCH_PATH/src/linux

make-kpkg \
    --rootcmd fakeroot \
    --jobs $CORES \
    --append-to-version -$KERNEL_FLAVOR-$KERNEL_STAMP \
    --revision 2 \
    --initrd kernel_image