This directory contains options specific to armv7-LPAE variants