Hi all,
i also encountered a problem getting rid of pertitboot. The button variant also works to boot into the armbian linux, but the mtd-devices are also not visible.
Therefore, I tried the petitboot variant with connected monitor and keyboard, but there is nothing showing up on the screen after applying power.
Fortunately, I had the official USB-serial-cable from ODROID available and could plug in it easily after opening the HC4 case. On the serial console (115200,8N1) I could execute the flash_eraseall commands. This took a few minutes especially for the /dev/mtd3.
After erasing them, the board booted seamlessly into armbian.
Regards,
themole