Update boot info in Patmos