bump the kernel again since bios and friends got bumped.