e72c5f
Add two small patches for kernel debranding. Addresses arch/x86/kernel/setup.c and kernel/rh_taint.c Modified spec to apply patches.