Implement kdp_machine_init() for arm (continued)