hw/arm/boot: take Linux/arm64 TEXT_OFFSET header field into account