Add option ARM_HAS_LPAE