Fix dockerfile to reboot after kernel files