Add -kernel flag