Official M4 kernel import

Signed-off-by: Zarboz <zarboz@gmail.com>