Whether an ICC card being able to be replaced without rebooting or not depends on the hardware design. IMHO if we take the case of changing ICC cards without rebooting into consideration, then we don't need to rewrite the code if the hardware support it in the future.