Merge with MK4 kernel source

Signed-off-by: Willi Ye <williye97@gmail.com>