Enabling Thumb-2 kernel for vexpress Reply-To: