The 'make export' target needs to bundle up the user C startup file (crt0),...

The 'make export' target needs to bundle up the user C startup file (crt0), not the kernel head object