push kernel rev

Signed-off-by: Robert Woerle <robert@linuxdevelopment.de>