Honestly, this is why I like Dutch consumer law. Dutch law states that the guarantee duration is dependent on the expected lifespan of a product. Continued official BIOS support is evidence that the device remains within its supported lifetime and also dutch law treats defective or incomplete updates as non-conformity. Therefore, in this situation it would be framework fault and the device would also be within warranty.