Prefer PAE versions of 32-bit kernel / initrd images
From !647 (comment 1531483094)
Sid wrote:
We use the lpae (Large Physical Address Extension) versions of kernel and initrd images, which should be good for virtual machines. Non-lpae versions of kernel and initrd images are useful for <= "armv7l" physical 32-bit processors which don't support lpae (which are really old), which doesn't apply for virtual machines.
Pino Toscano wrote:
Please use non-lpae kernel/initrd for now, so at least the data is correct and working. Switching to lpae can be discussed as a separate change, if needed.