void init_e1000()
{
    scr_put_string_nl("e1000: initializing E1000 Intel PCI Ethernet Controller (TODO)");
}