Partial fix for boot filename consistency issue with Linux filesystems.