platform/x86: wmi-bmof: Simplify read_bmof()