Update README with the ARM kernels info