extra/webkit: armv5 fix