2nd-boot kernel modifications