diff --git a/docs/platform-rpi3.md b/docs/platform-rpi3.md
index ac23b4770..6cf4e8d51 100644
--- a/docs/platform-rpi3.md
+++ b/docs/platform-rpi3.md
@@ -70,4 +70,11 @@ LinuxKit YAML file:
     command: ["modprobe", "smsc95xx"]
 ```
 
+For Raspberry Pi 3b+ use:
+```
+  - name: netdev
+    image: linuxkit/modprobe:<hash>
+    command: ["modprobe", "lan78xx"]
+```
+
 **TODO:** Figure out why mdev is not loading the driver.
diff --git a/kernel/config-4.19.x-aarch64 b/kernel/config-4.19.x-aarch64
index 4e3dfad21..bc0d43f6c 100644
--- a/kernel/config-4.19.x-aarch64
+++ b/kernel/config-4.19.x-aarch64
@@ -2084,7 +2084,7 @@ CONFIG_FIXED_PHY=m
 # CONFIG_MARVELL_PHY is not set
 # CONFIG_MARVELL_10G_PHY is not set
 # CONFIG_MICREL_PHY is not set
-# CONFIG_MICROCHIP_PHY is not set
+CONFIG_MICROCHIP_PHY=m
 # CONFIG_MICROCHIP_T1_PHY is not set
 # CONFIG_MICROSEMI_PHY is not set
 # CONFIG_NATIONAL_PHY is not set
@@ -2116,7 +2116,7 @@ CONFIG_USB_NET_DRIVERS=y
 # CONFIG_USB_PEGASUS is not set
 # CONFIG_USB_RTL8150 is not set
 # CONFIG_USB_RTL8152 is not set
-# CONFIG_USB_LAN78XX is not set
+CONFIG_USB_LAN78XX=m
 CONFIG_USB_USBNET=y
 # CONFIG_USB_NET_AX8817X is not set
 # CONFIG_USB_NET_AX88179_178A is not set
diff --git a/kernel/config-5.0.x-aarch64 b/kernel/config-5.0.x-aarch64
index 4028c907c..12642b4dd 100644
--- a/kernel/config-5.0.x-aarch64
+++ b/kernel/config-5.0.x-aarch64
@@ -2104,7 +2104,7 @@ CONFIG_FIXED_PHY=m
 # CONFIG_MARVELL_PHY is not set
 # CONFIG_MARVELL_10G_PHY is not set
 # CONFIG_MICREL_PHY is not set
-# CONFIG_MICROCHIP_PHY is not set
+CONFIG_MICROCHIP_PHY=m
 # CONFIG_MICROCHIP_T1_PHY is not set
 # CONFIG_MICROSEMI_PHY is not set
 # CONFIG_NATIONAL_PHY is not set
@@ -2136,7 +2136,7 @@ CONFIG_USB_NET_DRIVERS=y
 # CONFIG_USB_PEGASUS is not set
 # CONFIG_USB_RTL8150 is not set
 # CONFIG_USB_RTL8152 is not set
-# CONFIG_USB_LAN78XX is not set
+CONFIG_USB_LAN78XX=m
 CONFIG_USB_USBNET=y
 # CONFIG_USB_NET_AX8817X is not set
 # CONFIG_USB_NET_AX88179_178A is not set
diff --git a/kernel/config-5.1.x-aarch64 b/kernel/config-5.1.x-aarch64
index bd93820ed..c8000049d 100644
--- a/kernel/config-5.1.x-aarch64
+++ b/kernel/config-5.1.x-aarch64
@@ -2114,7 +2114,7 @@ CONFIG_FIXED_PHY=m
 # CONFIG_MARVELL_PHY is not set
 # CONFIG_MARVELL_10G_PHY is not set
 # CONFIG_MICREL_PHY is not set
-# CONFIG_MICROCHIP_PHY is not set
+CONFIG_MICROCHIP_PHY=m
 # CONFIG_MICROCHIP_T1_PHY is not set
 # CONFIG_MICROSEMI_PHY is not set
 # CONFIG_NATIONAL_PHY is not set
@@ -2146,7 +2146,7 @@ CONFIG_USB_NET_DRIVERS=y
 # CONFIG_USB_PEGASUS is not set
 # CONFIG_USB_RTL8150 is not set
 # CONFIG_USB_RTL8152 is not set
-# CONFIG_USB_LAN78XX is not set
+CONFIG_USB_LAN78XX=m
 CONFIG_USB_USBNET=y
 # CONFIG_USB_NET_AX8817X is not set
 # CONFIG_USB_NET_AX88179_178A is not set