ARM system deployed with source-crs from Telco DU configuration will not generate a vmcore dump while running 64k kernel     

4.20    

    Everytime

    1. Install ARM server via Telco DU Config
    2. Verify settings 

[core@hp-arm1 ~]$ cat /proc/cmdline| grep -o -E crashkernel="([0-9]+M)"
crashkernel=512M
     3. Issue a system crash by echo c > /proc/sysrq-trigger     

    Empty `/var/crash/`

    vmcore generated under `/var/crash/`

    Should this issue be addressed via:

Only increase ARM crashkernel 
Increase both ARM and x86_64 crashkernel