bios_init 42 kernel/arch/amd64/src/bios/bios.c void bios_init(void) bios_init 42 kernel/arch/ia32/src/bios/bios.c void bios_init(void)