Fixing flags in builder. Currently, kernel options defined at build time are *not* passed on to the kernel.