Pae kernel for haiku?

Development
21

i didn’t see that since i did download the iso for 32bit systems but it read 64bit.