kernel: update to b4387dbcf8