A similar trick is to simply re-encode and resize a video to the screensize of the other device and then save as 8bit h.264; this is particularly useful for 10bit h.264 and/or VP9 videos.
If the device in question is old enough to not have h.264 hardware decoding, then try to encode to h.263 or FLV1/Sorenson Spark instead (but make sure to use quite a high bitrate to compensate).