[PATCH] board: rpi: Change from CONFIG_ARM64 to CONFIG_PHYS_64BIT