the mini-iso does indead have non pae kernels but without a way to set the iso as the ltsp-boot enviroment the "good idea" dies there