[LinuxBIOS] r56 - buildrom-devel/packages/linuxbios/patches