x86: Remove coreboot_ from file name