build kernel with 4.7, fix booting issues