e8cb41d36f
entry. Otherwise we panic on boot for cards that we can't allocate a config entry for (my 3.3V wavelan card currently fails thusly).