Yes, ala42 is on the job, see the latest MCSE release log.
You have HP OEM, so HP is responsible for firmware support.
Crossflashing is another story...
Thanks for the firmware info, BTW.
# Resolves issue with hard disk drive intermittently not being detected at system startup or when resuming from sleep mode.
# Improves disc reading strategies.
# Adds support for certain BD-R media.