Implement kdp_machine_init() for arm