realview: sync kernel config file