5225952d74d4 ("x86/tools: Remove chkobjdump.awk")