Meanwhile you can enable native H264 support on linux with the about:config setting "media.gstreamer.enabled". This requires gstreamer with the respective plugin to be installed.