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