Implement machine_delay_until and machine_boot_info for arm