Make rdc boot a little further, still broken though, resync kernel config