Update ARM kernel memory functions patch