Apply patch from raspberry kernel to fix PPS signal on aarch64 which closes #2057. Also fix typo in config