buildgcc: Update coreboot reference toolchain to gcc 4.6.2

[coreboot.git] / util / vgabios / helper_exec.h

u32 getIntVect(int num);
int run_bios_int(int num);