Hey, just wanted to say that the LPAE kernel is working beautifully on my system, thanks to both you and vman for the helpful tips.
Main steps for noobs like myself:
* Install via the bash script from reey's repo
* Choose 'No' when asked to flash /dev/mmcblk0p7
* Flash /dev/mmcblk0p6 manually with the /boot/kpart image
* Reboot
* Realise I'm only using the 2GB kernel
* Download the PKGBUILD releases from reey's repo
https://github.com/reey/PKGBUILDs/releases/ * Install the packages (and downgrade the kernel to the new LPAE one)
* Flash /dev/mmcblk0p6 with the new /boot/kpart image
* Reboot
* Voila, 4G kernel
Thank you so much!