Update hotreboot.x