for both board variants. While here, enable el1 package option by default so we can boot 32-bit kernels.