Maybe I'm just completely blind, but I'm not seeing the kernel file on the site that was used for the 48XX soekris boards. Or was the 45XX just the one used there as well? The sight hints at an actual 48XX file. Thanks.