As of Debian 8 ("Jessie") Debian no longer ships single-platform kernel flavours for the armhf port and instead ships two "multiplatform" kernel flavours: the regular armmp flavour and armmp-lpae which supports processors with Large Physical Address Extensions. Debian Installer will automatically install the armmp-lpae kernel if it detects that the hardware supports it.
