Use PAE kernel for 32-bit Ubuntu AMIs