# nasa-patch process specific kernel patches.