[coreboot] question about nodefaultlibs gcc option