Question: How does the Linux kernel know which drivers to load at boot?