delos-common: Add Kernel source and config related flags