configs: Add missing PPS configs

The arm64 bcm2711_defconfig was inexplicably missing three PPS config
options. Add them, along with another missing option from
bcmrpi3_defconfig.

See: https://github.com/raspberrypi/linux/issues/3593



Signed-off-by: Phil Elwell <phil@raspberrypi.com>