fix rom and kernel choice