[OS-BUILD PATCH 0/0] Improve generation of boot loader specification files