branches: 1.5.6; 1.5.18;
Select a proper kernel set (GENERIC or C700) per running INSTALL kernel name.