[2/2] kernel bringup