update kernel source

update to Franco Kernel