Update system_kernel stage to use kernel .debs

Signed-off-by: caleb miles <cmiles@pivotallabs.com>