Re: [PATCH] crashkernel: optimize arm64 reserved size if PAGE_SIZE=4k