small clean up to configs to use the correct bootlets and kernel config