I applied the updates that were made available today. While my Collie (SL-5500) is working fine, I now get a warning and one minute delay at boot that I'm running the wrong kernel (3.5.4) and should be running 3.5.4.1-alpha2. I don't think that kernel applies to Collie, so this must be a bug, right?