This change moves the kernel build options to a separate file as opposed to encoding it directly in a file.